Publications

A theory-based decision heuristic for DPLL(T)

• • Dan Goldwasser
  • Ofer Strichman
  • et al.
• 2008
• FMCAD 2008