Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, and Algorithms)

Satisfaction

von Justyna Petke

Gebunden

ISBN-13: 978-3-319-21809-0

ISBN-10: 3-319-21809-3

Springer · 2015

S. auch:
2016TaschenbuchBridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, and Algorithms)