Raphaël Rossignol

According to our database, Raphaël Rossignol authored at least 4 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Exact location of the phase transition for random (1, 2)-QSAT.

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol

RAIRO Theor. Informatics Appl., 2015

2009

The threshold for random (1,2)-QSAT

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol

CoRR, 2009

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms.

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

New Results on the Phase Transition for Random Quantified Boolean Formulas.

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol

Proceedings of the Theory and Applications of Satisfiability Testing, 2008