![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.