Theory and Applications of Satisfiability Testing SAT 2008

Ein kompakter Leitfaden der 11. SAT-Konferenz aus Guangzhou, der innovative Techniken zur Erfüllbarkeitsprüfung vorstellt und deren Einsatz in Optim ...

Allgemein

Marke
Hans Kleine Büning
ISBN
Hans Kleine Büning 3540797181

Eigenschaften

Menü