<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-06-12 08:25:55Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Solver Benchmark |
Add to Reading List |
12th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann (co-organizer)