[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Bridging Constraint Satisfaction and Boolean Satisfiability

Language EnglishEnglish
Book Paperback
Book Bridging Constraint Satisfaction and Boolean Satisfiability Justyna Petke
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
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Daytime Nighttime, All Through the Year Diane Lang / Paperback
common.buy 9.30 €
Kompendium metod i technik zarządzania / Paperback
common.buy 13.80 €
My Heart Hemmed in Marie Ndiaye / Paperback
common.buy 15.08 €
scala degli idioti di Gurdjieff. I 21 gradini dell'evoluzione spirituale Patrick Négrier / Paperback
common.buy 14.76 €
Fuhrungspersoenlichkeiten in kreativwirtschaftlichen Betrieben. Diversitat und Komplexitat der kreativen Fuhrung Kurt Arbter / Paperback
common.buy 51.33 €
Global Politics of Science and Technology - Vol. 1 Mariana Carpes / Paperback
common.buy 218.46 €
Konzeption eines integrierten Planungs- und Kontrollsystems fur Nonprofit Organisationen am Beispiel des Deutschen Komitee der AIESEC e.V. Ulf-Wedig von der Osten / Paperback
common.buy 72.79 €
Witches - Hexenzirkel Pia Hepke / Paperback
common.buy 11.67 €
Sancey, Chef Du Deuxieme Bataillon de la Moselle, En Reponse A Laver, Capitaine Audit "" / Paperback
common.buy 14.98 €
Schönrich, G: Zeichenhandeln Gerhard Schönrich / Hardback
common.buy 31.90 €
Premieres Lectures d'Economie Rurale: Les Cultures Et Les Betes MEHEUST-P / Paperback
common.buy 19.58 €
China Business Model Elisabeth Paulet / Hardback
common.buy 214.50 €
FAIR CITY CHIMES: A BOOK OF VERSE DAVID MITCHEL SMITH / Hardback
common.buy 37.56 €
Tres semanas de mal dormir José María Merino / Paperback
common.buy 20.65 €
Notice Historique Sur La Fondation de la Societe de l'Union Des Travailleurs Du Tour-De-France Marquet-J / Paperback
common.buy 32.10 €
RURAL AND OTHER POEMS CHADWICK / Hardback
common.buy 37.56 €

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.

About the book

Full name Bridging Constraint Satisfaction and Boolean Satisfiability
Author Justyna Petke
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 113
EAN 9783319373645
ISBN 9783319373645
Libristo code 15368821
Publishers Springer International Publishing AG
Weight 2058
Dimensions 155 x 235 x 8

Categories

Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account