Bridging Constraint Satisfaction and Boolean Satisfiability
Publisher: Springer
Published: 2015
Language: eng
Number of pages: 113
ISBN-13: 9783319218090
Subjects: Artificial intelligence; Algebra, boolean