Algorithm Selection, Scheduling and Configuration of Boolean Constraint Solvers

verfasst von

Marius Thomas Lindauer

betreut von

Torsten Schaub, Holger Hoos

Externe Organisation(en)

Universität Potsdam

Typ

Dissertation

Publikationsdatum

2014

Publikationsstatus

Veröffentlicht

Elektronische Version(en)

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