Bridging Constraint Satisfaction and Boolean Satisfiability

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

Autor: Justyna Petke

Jazyk:

Väzba: Pevná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

50.08 €

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

Informácie o knihe

Autor

Justyna Petke

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2015

Stránok

113

EAN

9783319218090

ISBN

3319218093

Enbook ID

09378313

Vydavateľ

Springer International Publishing AG

Hmotnosť

366

Rozmery

155 x 235 x 243

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Bridging Constraint Satisfaction and Boolean Satisfiability

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

The Art of Intrigue

The Colonel: The Extraordinary Story of Colonel Tom Parker and

Chocolate

Devoted to Chess: The Creative Heritage of Yuri Razuvaev

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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