Peter van der Tak, Marijn Heule, Armin Biere,
"Concurrent Cube-and-Conquer"
: Proc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12), Serie Lecture Notes in Computer Science (LNCS), Vol. 7317, Springer, Seite(n) 475-476, 2012
Original Titel:
Concurrent Cube-and-Conquer
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 15th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'12)