Bridging Constraint Satisfaction and Boolean Satisfiability

Name: Bridging Constraint Satisfaction and Boolean Satisfiability
Brand: Springer International Publishing AG
SKU: 9783319218090
Price: 217.76 PLN
Availability: InStock

Autor: Justyna Petke

Język:

Oprawa: Twarda

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

217.76 zł

This book investigates the connections between constraint satisfaction problems (CSP) and Boolean sa...

Informacje o książce

Autor

Justyna Petke

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2015

strony

113

EAN

9783319218090

ISBN

3319218093

Enbook ID

09378313

Wydawca

Springer International Publishing AG

Waga

366

Wymiary

155 x 235 x 243

Pełny opis

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.§

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Bridging Constraint Satisfaction and Boolean Satisfiability

Informacje o książce

Pełny opis

Możesz być zainteresowany

The Art of Intrigue

The Colonel: The Extraordinary Story of Colonel Tom Parker and

Chocolate

My Mamma Mia Summer

Microsoft 365 Portable Genius

World Cruising Routes

Red Queen

Heart of Gold

Lonely Planet India Discover

Information Hiding in Communication Networks - Fundamentals, Mechanisms, Applications, and Countermeasures

FLCL Omnibus

Incredible Influence of a Woman

Ansel Adams

Iliad of Homer

Bertrand Goldberg

Klienci, którzy kupili tę książkę, kupili również

Kämpfst du noch oder erziehst du schon?

Busca e Apreensao

Los blancos estáis locos

Cocuk Egitiminde Pozitif Iletisim

Arbeitnehmerschutz Von Geschaftsfuhrenden Gesellschaftsorganen Im Lichte Der "danosa"-Entscheidung Des Eugh

Bausteine Sprachbuch 2 US. Baden-Würtemberg

Chilam el nino de Balam