|
| This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies.
For more information visit Aigaion.nl. |  |
|
| [RACTI-RU1-2009-32] Diaz, Josep, Kirousis, Lefteris, Mitsche, Dieter and Perez, X, On the satisfiability threshold of formulas with three literals per clause, in: Theoretical Computer Science (TCS), 2009. |
|
| [RACTI-RU1-2009-30] Diaz, Josep, Kaporis, Alexis, Kemkes, G.D, Kirousis, Lefteris, Perez, X and Wormald, Nick, On the Chromatic Number of a Random 5-Regular Graph, in: Journal of Graph Theory, 2009. |
|
|
|
