dblp.uni-trier.dewww.uni-trier.de

Raphaël Rossignol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EENadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT 2008: 34-47

Coauthor Index

1Nadia Creignou [1]
2Hervé Daudé [1]
3Uwe Egly [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)