The Hobel algorithm : SAT Lösung mit GPU über DPLL / von Csaba Vaczula. Wien 2016
Inhalt