We a good story
Quick delivery in the UK

Bridging Constraint Satisfaction and Boolean Satisfiability

About Bridging Constraint Satisfaction and Boolean Satisfiability

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319373645
  • Binding:
  • Paperback
  • Pages:
  • 113
  • Published:
  • October 21, 2016
  • Edition:
  • 12015
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 2058 g.
Delivery: 1-2 weeks
Expected delivery: December 5, 2024

Description of Bridging Constraint Satisfaction and Boolean Satisfiability

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.

User ratings of Bridging Constraint Satisfaction and Boolean Satisfiability



Find similar books
The book Bridging Constraint Satisfaction and Boolean Satisfiability can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.