|
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] |
|
|
[RACTI-RU1-2006-23] Kirousis, Lefteris, Stamatiou, Yannis and Zito, Michele, The Satisfiability Threshold Conjecture: Techniques Behind Upper Bound Improvements, in: Oxford University, pages 159-178, 2006. |
|
|
|