Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Boolean algebra / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Phnom Penh / Solver / Propositional calculus


Splitting on Demand in SAT Modulo Theories Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli New York Univ. Techn. Univ. Catalonia
Add to Reading List

Document Date: 2006-11-16 20:30:50

Open Document

File Size: 836,77 KB

Share Result on Facebook
UPDATE