Bridging Constraint Satisfaction and Boolean Satisfiability Image close
Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability by Justyna Petke
Show Hide Adult Content
Bridging Constraint Satisfaction and Boolean Satisfiability close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Artificial intelligence

Bridging Constraint Satisfaction and Boolean Satisfiability

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-16 July using International Courier

Explore more Artificial Intelligence: Foundations, Theory, and Algorithms

See all products in this series

Subjective Logic on Hardback by Audun Josang
$521.00
Subjective Logic
by Audun Josang ~ Hardback
Available - Usually ships in 3-4 weeks
Coordination of Complex Sociotechnical Systems by Stefano Mariani
$289.00
Coordination of Complex Sociotechnical Systems
by Stefano Mariani ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Heterogeneous Graph Representation Learning and Applications on Hardback by Chuan Shi
$466.00
Heterogeneous Graph Representation Learning and Applications
by Chuan Shi ~ Hardback
Available - Usually ships in 3-4 weeks
Coordination of Complex Sociotechnical Systems on Hardback by Stefano Mariani
$290.00
Coordination of Complex Sociotechnical Systems
by Stefano Mariani ~ Hardback
Available - Usually ships in 3-4 weeks
Neural Text-to-Speech Synthesis on Hardback by Xu Tan
$441.00
Neural Text-to-Speech Synthesis
by Xu Tan ~ Hardback
Available - Usually ships in 3-4 weeks
The Geometry of Uncertainty by Fabio Cuzzolin
$719.00
The Geometry of Uncertainty
by Fabio Cuzzolin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
AI Ethics on Hardback by Paula Boddington
$187.00
AI Ethics
by Paula Boddington ~ Hardback
Available - Usually ships in 3-4 weeks
Heterogeneous Graph Representation Learning and Applications by Chuan Shi
$466.00
Heterogeneous Graph Representation Learning and Applications
by Chuan Shi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Decision Diagrams for Optimization by David Bergman
$263.00
Decision Diagrams for Optimization
by David Bergman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Metaheuristics by Christian Blum
$363.00
Hybrid Metaheuristics
by Christian Blum ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning Safety on Hardback by Xiaowei Huang
$213.00
Machine Learning Safety
by Xiaowei Huang ~ Hardback
Available - Usually ships in 3-4 weeks
Responsible Artificial Intelligence on Hardback by Virginia Dignum
$175.00
Responsible Artificial Intelligence
by Virginia Dignum ~ Hardback
Available - Usually ships in 3-4 weeks
Foundation Models for Natural Language Processing on Hardback by Gerhard Paass
$162.00
Foundation Models for Natural Language Processing
by Gerhard Paass ~ Hardback
Available - Usually ships in 3-4 weeks
Feature Selection for High-Dimensional Data by Veronica Bolon-Canedo
$150.00
Feature Selection for High-Dimensional Data
by Veronica Bolon-Canedo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Foundation Models for Natural Language Processing by Gerhard Paass
$137.00
Foundation Models for Natural Language Processing
by Gerhard Paass ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Hypergraph Computation by Qionghai Dai
$137.00
Hypergraph Computation
by Qionghai Dai ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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. 

Author Biography:

Justyna Petke received her D.Phil. from the University of Oxford. She is a Research Associate at the Centre for Research on Evolution, Search and Testing (CREST) in the Dept. of Computer Science, University College London. Her research interests include the connections between constraint satisfaction and search-based software engineering, including genetic improvement and combinatorial interaction testing.
Release date NZ
October 22nd, 2016
Author
Pages
113
Edition
Softcover reprint of the original 1st ed. 2015
Audience
  • Professional & Vocational
Illustrations
19 Illustrations, black and white; XI, 113 p. 19 illus.
Dimensions
156x234x7
ISBN-13
9783319373645
Product ID
26268142

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Justyna Petke

See all books by this author

Bridging Constraint Satisfaction and Boolean Satisfiability on Hardback by Justyna Petke
$148.00
Bridging Constraint Satisfaction and Boolean Satisfiability
by Justyna Petke ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Machine learning