DMCA

On SAT Modulo Theories and Optimization Problems (2006)

Cached

Download Links

by Robert Nieuwenhuis , Albert Oliveras
Venue:In Theory and Applications of Satisfiability Testing (SAT), LNCS 4121
Citations:36 - 4 self