research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Zito, Michele    

Firstname:Michele 
Surname:Zito 
Email: 
Institute: 
Homepage: 
Is RU1 member:NO 

2 publications (0 read)

4 Keywords relate to this author

Complexity
Phase transition
Probabilistic analysis
Satisfiability




Publications as Author



2007

[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]
 

2006

[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.