Bridging Constraint Satisfaction and Boolean Satisfiability

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

Автор: Justyna Petke

Език:

Корици: С твърди корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 10-13 дни

52.70 € 103.07 лв

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

Информация за книгата

Автор

Justyna Petke

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2015

страници

113

EAN

9783319218090

ISBN

3319218093

Enbook ID

09378313

Издател

Springer International Publishing AG

Теглоt

366

Размери

155 x 235 x 243

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Bridging Constraint Satisfaction and Boolean Satisfiability

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

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