Talks and Poster Presentations (with Proceedings-Entry):

N. Creignou, H. Daude, U. Egly, R. Rossignol:
"(1,2)-QSAT: A Good Candidate for Understanding Phase Transition Mechanisms";
Talk: Theory and Application of Satisfiability Testing -- SAT, Swansea; 2009-06-30 - 2009-07-03; in: "SAT 2009", O. Kullmann (ed.); Springer Lecture Notes in Computer Science (LNCS), 5584 (2009), ISSN: 0302-9743; 363 - 376.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.