Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Books - Springer International Publishing AG - 9783319373645 - October 22, 2016
In case cover and title do not match, the title is correct

Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

Price
S$ 84
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 16 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

113 pages, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 22, 2016
ISBN13 9783319373645
Publishers Springer International Publishing AG
Pages 113
Dimensions 150 × 220 × 10 mm   ·   190 g

Mere med samme udgiver

See all of Justyna Petke ( e.g. Hardcover Book and Paperback Book )