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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Giunchiglia, Enrico., Walsh, Toby.|
No Tags, Be the first to tag this record!