|
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-2007-84] Kaporis, Alexis, Kirousis, Lefteris, Stamatiou, Yannis, Vamvakari, Malvina and Zito, Michele, The unsatisfiability threshold revisited., in: Discrete Applied Mathematics, volume 155, number 12, pages 1525-1538, 2007. [DOI] |
|
|
|