A Theory-Based Decision Heuristic for DPLL(T) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dan Goldwasser, Ofer Strichman, Shai Fine. A Theory-Based Decision Heuristic for DPLL(T). In Alessandro Cimatti, Robert B. Jones, editors, Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008. pages 1-8, IEEE, 2008. [doi]

This author has not been identified. Look up 'Dan Goldwasser' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in GoogleThis author has not been identified. Look up 'Shai Fine' in Google

runs on WebDSL