Title:
Bridging Constraint Satisfaction and Boolean Satisfiability
Author:
Petke, Justyna. author.
ISBN:
9783319218106
Edition:
1st ed. 2015.
Physical Description:
XI, 113 p. 19 illus. online resource.
Series:
Artificial Intelligence: Foundations, Theory, and Algorithms,
Contents:
Introduction -- Background -- Solver Performance on Tractable CSPs: Empirical Evaluation -- SAT Encodings -- From CSP to SAT: Width Restrictions -- From CSP to SAT: Language Restrictions -- SAT Encodings of a Classical Problem: A Case Study -- Conclusions. .
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-21810-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518365-1001 | ONLINE | Searching... | Searching... |