SAT 2005 Satisfiability Research in the Year 2005 /

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning proble...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Giunchiglia, Enrico., Walsh, Toby.
Format: Electronic
Language: English
Published: Dordrecht : Springer Netherlands, 2006.
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!