The unsatisfiability threshold revisited
Kaporis, Alexis C., Kirousis, Lefteris M., Stamatiou, Yannis C., Vamvakari, Malvina, Zito, Michele
Published in Discrete Applied Mathematics (15.06.2007)
Published in Discrete Applied Mathematics (15.06.2007)
Get full text
Journal Article
Conference Proceeding
Fugitive-search games on graphs and related parameters
Dendris, Nick D., Kirousis, Lefteris M., Thilikos, Dimitrios M.
Published in Theoretical computer science (10.02.1997)
Published in Theoretical computer science (10.02.1997)
Get full text
Journal Article
Locating information with uncertainty in fully interconnected networks: The case of nondistributed memory
Kirousis, Lefteris M., Kranakis, Evangelos, Krizanc, Danny, Stamatiou, Yannis C.
Published in Networks (01.10.2003)
Published in Networks (01.10.2003)
Get full text
Journal Article
Coloring Random Graphs: A Short Survey
Kirousis, Lefteris M
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Published in 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2009)
Get full text
Conference Proceeding
Upper Bounds and Asymptotics for the q-Binomial Coefficients
Kirousis, Lefteris M., Stamatiou, Yannis C., Vamvakari, Malvina
Published in Studies in applied mathematics (Cambridge) (01.07.2001)
Published in Studies in applied mathematics (Cambridge) (01.07.2001)
Get full text
Journal Article
The probabilistic analysis of a greedy satisfiability algorithm
Kaporis, Alexis C., Kirousis, Lefteris M., Lalas, Efthimios G.
Published in Random structures & algorithms (01.07.2006)
Published in Random structures & algorithms (01.07.2006)
Get full text
Journal Article
Power consumption in packet radio networks
Kirousis, Lefteris M., Kranakis, Evangelos, Krizanc, Danny, Pelc, Andrzej
Published in Theoretical computer science (28.07.2000)
Published in Theoretical computer science (28.07.2000)
Get full text
Journal Article
Simple atomic snapshots: A linear complexity solution with unbounded time-stamps
Kirousis, Lefteris M., Spirakis, Paul, Tsigas, Philippas
Published in Information processing letters (08.04.1996)
Published in Information processing letters (08.04.1996)
Get full text
Journal Article
Rigorous results for random [formula omitted]-SAT
Achlioptas, Dimitris, Kirousis, Lefteris M., Kranakis, Evangelos, Krizanc, Danny
Published in Theoretical computer science (2001)
Published in Theoretical computer science (2001)
Get full text
Journal Article
Approximating the unsatisfiability threshold of random formulas
Kirousis, Lefteris M., Kranakis, Evangelos, Krizanc, Danny, Stamatiou, Yannis C.
Published in Random structures & algorithms (01.05.1998)
Published in Random structures & algorithms (01.05.1998)
Get full text
Journal Article
Selecting Complementary Pairs of Literals
Kaporis, Alexis C., Kirousis, Lefteris M., Lalas, Efthimios
Published in Electronic notes in discrete mathematics (01.10.2003)
Published in Electronic notes in discrete mathematics (01.10.2003)
Get full text
Journal Article