Integrating a BDD prover and a DPLL SAT solver for abstract data types

  • M.P. Schuijers

Student thesis: Master

Abstract

Date of Award31 Jan 2006
Original languageEnglish
SupervisorJ.C. van de Pol (Supervisor 1)

Cite this

Integrating a BDD prover and a DPLL SAT solver for abstract data types
Schuijers, M. P. (Author). 31 Jan 2006

Student thesis: Master