Travelled to:1 × Finland
1 × Italy
Collaborated with:A.Cimatti A.Griggio R.Sebastiani
Talks about:sat (2) approach (1) modular (1) theori (1) solver (1) modulo (1) math (1) smt (1) max (1)
Person: Bastiaan Joost Schaafsma
DBLP: Schaafsma:Bastiaan_Joost
Contributed to:
2013
2013Wrote 2 papers:
- SAT-2013-CimattiGSS #approach #composition #modulo theories #satisfiability
- A Modular Approach to MaxSAT Modulo Theories (AC, AG, BJS, RS), pp. 150–165.
- TACAS-2013-CimattiGSS #smt
- The MathSAT5 SMT Solver (AC, AG, BJS, RS), pp. 93–107.