Bridging Constraint Satisfaction and Boolean Satisfiability
Publisher: Springer
Published: Oct 22, 2016
Format: paperback
Number of pages: 128
ISBN-13: 9783319373645
Notes: Source title: Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, and Algorithms)