Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Complexity of Constraints: An Overview of Current Research Themes by Nadia Creignou 9783540927990
Booksplease Price: £46.28Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization,... -
Complexity Classifications of Boolean Constraint Satisfaction Problems by Nadia Creignou 9780898714791
RRP: £76.00Booksplease Price: £68.80Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction... -
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings by Nadia Creignou 9783319409696
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31...