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