Theory and Applications of Satisfiability Testing - SAT 2007 Marques-Silva, Joao / Sakallah, Karem A. Keine Beschreibung. CHF 104.00 In Warenkorb legen