Publications in Scientific Journals:
N. Creignou, H. Daude, U. Egly, R. Rossignol:
"Exact location of the phase transition for random (1,2)-QSAT";
RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications,
49
(2015),
1;
23
- 45.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1051/ita/2014025
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.