Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

48.74 EUR 9% Off 53.49 EUR

Ein kompakter Leitfaden aus der 11. SAT-Konferenz, der aktuelle Algorithmen zur Erfüllbarkeitsprüfung vorstellt, ihre theoretischen Grundlagen beleuchtet und praktische Einsatzbeispiele in Optimierungsaufgaben zeigt.

Marke: Hans Kleine Büning
ISBN: 3540797181