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