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,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.