Electronic Notes in Discrete Mathematics
, Volume 16
Volume 16, October 2003
Typical Case Complexity and Phase Transitions, Ottawa, Canada, 14-16 May 2003
Tassos Dimitriou
:
SAT Distributions with Phase Transitions between Decision and Optimization Problems.
1-14
Electronic Edition
(link)
BibTeX
Yong Gao
,
Joseph C. Culberson
:
Resolution Complexity of Random Constraint Satisfaction Problems: Another Half of the Story.
15-20
Electronic Edition
(link)
BibTeX
Andreas Goerdt
,
André Lanka
:
Recognizing more random unsatisfiable 3-SAT instances efficiently.
21-46
Electronic Edition
(link)
BibTeX
Alexis C. Kaporis
,
Lefteris M. Kirousis
,
Efthimios G. Lalas
:
Selecting Complementary Pairs of Literals.
47-70
Electronic Edition
(link)
BibTeX
Sakari Seitz
,
Pekka Orponen
:
An efficient local search method for random 3-satisfiability.
71-79
Electronic Edition
(link)
BibTeX
Haiou Shen
,
Hantao Zhang
:
An Empirical Study of MAX-2-SAT Phase Transitions.
80-92
Electronic Edition
(link)
BibTeX
Evangelos Kranakis
,
Lefteris M. Kirousis
:
Preface: Volume 16.
93
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:58:07 2009 by
Michael Ley
(
ley@uni-trier.de
)