Raphaël Rossignol

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Easy Hard Easy Pattern

Phase Transition

Boolean Satisfiability

Random Constraint Satisfaction Problems

Top Venues

RAIRO Theor. Informatics Appl.

Publications

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
Exact location of the phase transition for random (1, 2)-QSAT. RAIRO Theor. Informatics Appl. 49 (1) (2015)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. SAT (2009)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
The threshold for random (1,2)-QSAT CoRR (2009)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT (2008)