Sr. Research Scientist, Computer Science
Stanford University

Contact

353 Jane Stanford Way,
Stanford, CA, 94305, United States

           

Boolector at SMT-COMP 2014

http://smt-comp.github.io/2014
https://boolector.github.io

Main Track

https://smt-comp.github.io/2014/results/summary.html

  1st place in division QF_ABV (all)
  1st place in division QF_BV (all)

FLoC'14 Olympic Games

  One olympic Goedel medal