Electronic Notes in Discrete Mathematics, Volume 16

Volume 16, October 2003

• Tassos Dimitriou:
  SAT Distributions with Phase Transitions between Decision and Optimization Problems. 1-14
  
• Yong Gao, Joseph C. Culberson:
  Resolution Complexity of Random Constraint Satisfaction Problems: Another Half of the Story. 15-20
  
• Andreas Goerdt, André Lanka:
  Recognizing more random unsatisfiable 3-SAT instances efficiently. 21-46
  
• Alexis C. Kaporis, Lefteris M. Kirousis, Efthimios G. Lalas:
  Selecting Complementary Pairs of Literals. 47-70
  
• Sakari Seitz, Pekka Orponen:
  An efficient local search method for random 3-satisfiability. 71-79
  
• Haiou Shen, Hantao Zhang:
  An Empirical Study of MAX-2-SAT Phase Transitions. 80-92
  
• Evangelos Kranakis, Lefteris M. Kirousis:
  Preface: Volume 16. 93