Alexis C. Kaporis, Lefteris M. Kirousis, Yannis C. Stamatiou, Malvina Vamvakari, Michele Zito
The unsatisfiability threshold revisited
ICST, 2001.
@article{SAT-2001-KaporisKSVZ,
author = "Alexis C. Kaporis and Lefteris M. Kirousis and Yannis C. Stamatiou and Malvina Vamvakari and Michele Zito",
doi = "10.1016/S1571-0653(04)00315-4",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "81--95",
title = "{The unsatisfiability threshold revisited}",
volume = 9,
year = 2001,
}