Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

Language

English

Book Paperback

Libristo code: 15368821

Publishers Springer International Publishing AG, October 2016

This book provides a significant step towards bridging the areas of Boolean satisfiability and const... Full description

Libristo code: 15368821

141 b

58.57 €

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Knihkupec z Kábulu Asne Seierstad

Paperback

13.27 €

I Medici Ed Il Diritto Romano (1904) Roberto Bozzoni

Hardback

43.06 €

Los Compas escapan de la prisión (nueva presentación) EL TROLLINO Y TIMBA VK MIKECRACK

Hardback

19.04 €

Bonnets et chapeaux au crochet Armani

Hardback

19.04 €

Bulletin Société d'encouragement pour l'indus

Hardback

97.89 €

scala degli idioti di Gurdjieff. I 21 gradini dell'evoluzione spirituale Patrick Négrier

Paperback

20.56 €

Cooperatio ad malum Christian Oppermann

Paperback

38.40 €

We're Looking for the Perfect Hug Martha Mumford

Paperback

4.65 €

Od prožívání k umění Konstantin Sergejevi Stanislavskij

Paperback

8.60 €

Tandem - Maths CE1 - Fichier de l'élève + Cahier géométrie Stéphanie Collomb

Paperback

15.39 €

Optische Erfassung von Gefügeumwandlungen in Stählen: Eine innovative Methode zur zeit- und kosteneffizienten Werkstoffcharakterisierung

Paperback

18.94 €

KINESIOTAPING EN MEDICINA ESTETICA BELLIA

Book

164.78 €

Fuhrungspersoenlichkeiten in kreativwirtschaftlichen Betrieben. Diversitat und Komplexitat der kreativen Fuhrung Kurt Arbter

Paperback

42.86 €

Konzeption eines integrierten Planungs- und Kontrollsystems fur Nonprofit Organisationen am Beispiel des Deutschen Komitee der AIESEC e.V. Ulf-Wedig von der Osten

Paperback

60.70 €

Werbewirkungsanalyse Mit Expertensystemen Bruno Neibecker

Paperback

53.20 €

Ernährungsratgeber Demenz Miriam Schaufler

Paperback

18.03 €

Schönrich, G: Zeichenhandeln Gerhard Schönrich

Hardback

30.39 €

Tres semanas de mal dormir José María Merino

Paperback

19.25 €

Cómo redactar referencias y citas bibliográficas en un trabajo de investigación : aplicación práctica del Harvard Style BORGOñOS

Paperback

19.14 €

Witches - Hexenzirkel Pia Hepke

Paperback

11.24 €

Sancey, Chef Du Deuxieme Bataillon de la Moselle, En Reponse A Laver, Capitaine Audit ""

Paperback

12.76 €

Die verstummte Frau Fred Kinzel

Hardback

20.36 €

Notice Historique Sur La Fondation de la Societe de l'Union Des Travailleurs Du Tour-De-France Marquet-J

Paperback

26.75 €

Premieres Lectures d'Economie Rurale: Les Cultures Et Les Betes MEHEUST-P

Paperback

15.60 €

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.