Algorithm Selection, Scheduling and Configuration of Boolean Constraint Solvers

authored by

Marius Thomas Lindauer

supervised by

Torsten Schaub, Holger Hoos

External Organisation(s)

University of Potsdam

Type

Doctoral thesis

Publication date

2014

Publication status

Published

Electronic version(s)

https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-71260 (Access: Open)