Publications

3 results at FMCAD 2008

A theory-based decision heuristic for DPLL(T)
- - Dan Goldwasser
  - Ofer Strichman
  - et al.
- 2008
- FMCAD 2008
Augmenting a regular expression-based temporal logic with local variables
- - Cindy Eisner
  - Dana Fisman
- 2008
- FMCAD 2008
Beyond vacuity: Towards the strongest passing formula
- - Hana Chockler
  - Arie Gurfinkel
  - et al.
- 2008
- FMCAD 2008