Robert Nieuwenhuis
- Solving SAT and SAT Modulo Theories
2006/11/01 by Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · 42 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Constraint Satisfaction and Optimization