SAT 2005
| Author | : Enrico Giunchiglia |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 295 |
| Release | : 2007-01-21 |
| ISBN-10 | : 9781402055713 |
| ISBN-13 | : 1402055714 |
| Rating | : 4/5 (714 Downloads) |
Book Synopsis SAT 2005 by : Enrico Giunchiglia
Download or read book SAT 2005 written by Enrico Giunchiglia and published by Springer Science & Business Media. This book was released on 2007-01-21 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers recent progress 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. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
Top