Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Bridging Constraint Satisfaction and Boolean Satisfiability
Английски език
132 b
30 дни за връщане на стоката
Клиентите са закупили също
/
С твърди корици
111.54
€
218.16 лв
This book investigates the connections between constraint satisfaction problems (CSP) and Boolean satisfiability problems (SAT) and explains when we should choose a SAT-solver over a constraint solver, and vice versa. The author shows that with some encodings SAT-solvers simulate the effects of enforcing a form of local consistency in expected polynomial-time, which in turn explains why SAT-solvers are able to solve CSP instances of bounded-width structure efficiently, in contrast to conventional constraint solvers.§§The author first presents background notes on CSP and SAT, solver performance and SAT encodings, including a theoretical argument for the choice of the order encoding over the standard ones for several important classes of CSP instances. She provides a complete list of the constraint languages that are encoded to tractable language classes for SAT using the order encoding, and offers both theoretical and empirical comparison of the various SAT encodings of the famous pigeonhole problem.§§The book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.§
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
15.79
€
30.88 лв
/
С меки корици
25.32
€
49.52 лв
/
С твърди корици
107.45
€
210.15 лв
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?