DMCA

Splitting on Demand in SAT Modulo Theories (2006)

by Clark Barrett , Robert Nieuwenhuis , Albert Oliveras , Cesare Tinelli
Venue:In Proc. LPAR’06, volume 4246 of LNAI
Citations:44 - 14 self