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.
Subjects:
Online Access: http://dx.doi.org/10.1007/978-1-4020-5571-3
Tags: Add Tag
No Tags, Be the first to tag this record!