![](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
Chicago Journal of Theoretical Computer Science, 1999
Volume 1999, 1999
- Robert Beals, Richard Chang, William I. Gasarch, Jacobo Torán:
On Finding the Number of Graph Automorphisms. - Jie Wang:
Randomized Reductions and Isomorphisms. - Stephen A. Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, Heribert Vollmer:
Complements of Multivalued Functions. - Christoph Karg, Johannes Köbler, Rainer Schuler:
The Complexity of Generating Test Instances. - Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
The Complexity of Problems on Graphs Represented as OBDDs. - Arun K. Jagota:
Hopfield Neural Networks and Self-Stabilization. - Eric Allender:
The Permanent Requires Large Uniform Threshold Circuits. - Jeff Erickson:
Bounds for Linear Satisfiability Problems. - Martha J. Kosa:
Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types. - Zeev Collin, Rina Dechter, Shmuel Katz:
Self-Stabilizing Distributed Constraint Satisfaction. - Ramamohan Paturi, Pavel Pudlák, Francis Zane:
Satisfiability Coding Lemma. - Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Equivalences for Fair Kripke Structures.
![](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.