An edition of Theory and Applications of Satisfiability Testing (vol. # 3542)
(2005)
Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
1 edition
by Holger H. Hoos and David G. Mitchell
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
August 22, 2005, Springer
Paperback
in English
- 1 edition
354027829X 9783540278290
|
aaaa
|
Book Details
First Sentence
"In the last few years, the AI community has investigated the generic problem solving approach which consists of modeling hard combinatorial problems as instances of the propositional satisfiability problem (SAT) and then solving the resulting encodings with algorithms for SAT."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |