9783642141850 - theory and applications of satisfiability testing - sat 2010: 13th international conference, sat 2010, edinburgh, uk, july 11-14, 2010, proceedings (lecture notes in computer science, 6175, band 6175) (1 Ergebnisse)