Bridging Constraint Satisfaction and Boolean Satisfiability, Hardcover by Pet...
77,62 €
The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.
Jetzt bei Ebay:
