ENGLISH

SAT 2005: Satisfiability Research in the Year 2005

By Enrico Giunchiglia , Toby Walsh

Book information

Year
2006
ISBN
1402045522, 9781402045523
DOI
10.1007/s10817-006-9041-2
Open Library ID
OL8371894M
Language
english
Format
PDF
Filesize
2 MB (2556387 bytes)
Edition
1
Pages
300\294
Time added
2011-06-04 13:46:07

Description

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.

Similar books