↓ Skip to main content

Bridging Constraint Satisfaction and Boolean Satisfiability

Overview of attention for book
Attention for Chapter 7: SAT encodings of a classical problem: a case study
Altmetric Badge

Citations

dimensions_citation
11 Dimensions