Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Bridging Constraint Satisfaction and Boolean Satisfiability
Angol
145 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Kemény kötésű
6 752
Ft
/
Puha kötésű
5 021
Ft
/
Puha kötésű
9 483
Ft
/
Puha kötésű
16 628
Ft
/
Puha kötésű
4 873
Ft
/
Puha kötésű
23 538
Ft
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. Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving techniques have become standard for problem solving in the two areas. Even though any propositional formula (SAT) can be viewed as an instance of the general constraint satisfaction problem (CSP), the implications of this connection have only been studied in the last few years. The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?