research unit 1

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit
Titles (1)Keywords (2)Abstracts (9)
[RACTI-RU1-2006-24] Kaporis, Alexis, Kirousis, Lefteris and Lalas, Efthimios, The probabilistic analysis of a greedy satisfiability algorithm, in: Random Structures and Algorithms, volume 28, number 4, pages 444-480, 2006.