Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational units
Activities
Projects
Prizes
Press / Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Integrating a BDD prover and a DPLL SAT solver for abstract data types
M.P. Schuijers
Department of Mathematics and Computer Science
Student thesis
:
Master
Abstract
Date of Award
31 Jan 2006
Original language
English
Supervisor
J.C. van de Pol (Supervisor 1)
Cite this
Standard
Integrating a BDD prover and a DPLL SAT solver for abstract data types
Schuijers, M. P. (Author).
31 Jan 2006
Student thesis
:
Master
Documents
full text
File
:
application/pdf, 480 KB
Type
:
Thesis