Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability By Justyna Petke
English | EPUB | 2015 | 113 Pages | ISBN : 3319218093 | 1 MB
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.
Download Now
http://i58.fastpic.ru/big/2014/0217/a2/91bbe53d05dd5453661212be21cb46a2.jpg

Martine Ceberio, Vladik Kreinovich, "Constraint Programming and Decision Making"
English | ISBN: 3319042793 | 2014 | 200 pages | PDF | 6 MB
Download Now