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