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
Titles (7)Keywords (2)Abstracts (8)
[RACTI-RU1-2004-14] Dimitriou, Tassos and Spirakis, Paul, How to Tell a Good Neighborhood from a Bad One: Satisfiability of Boolean Formulas, in: 3rd Workshop on Efficient (WEA 2004), pages 199-212, Springer Berlin / Heidelberg, 2004. [DOI]
 
[RACTI-RU1-2009-32] Diaz, Josep, Kirousis, Lefteris, Mitsche, Dieter and Perez, X, On the satisfiability threshold of formulas with three literals per clause, in: Theoretical Computer Science (TCS), 2009.
 
[RACTI-RU1-2009-66] Achlioptas, Dimitris, Random Satisfiability, pages 245-270, chapter in the book: Handbook of Satisfiability, IOS Press 2009, 2009.
 
[RACTI-RU1-2003-1] Kirousis, Lefteris and Kolaitis, Ph., The complexity of minimal satisfiability problems, in: Information and Computation, volume 187, pages 20-39, 2003.
 
[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.
 
[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-2012-18] Achlioptas, Dimitris and Menchaca-Mendez, Ricardo, Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method, in: ICALP (1), pages 1-12, Springer Berlin Heidelberg, 39th International Colloquium, ICALP 2012, July 9-13, 2012, Proceedings, Part I, Warwick, UK, 2012. [DOI]