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)
http://dx.doi.org/10.1007/978-3-642-02777-2_34
Created from the Publication Database of the Vienna University of Technology.