Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas
Edith Hemaspaandra · 2004
Abstract onlyNot checked
Computational Theory and Mathematics
Filters2 filters applied
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
1,405 papersQuestions on this topic
Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations
Russell Impagliazzo, Nathan Segerlind · 2003
Abstract onlyNot checked
Solution Bounds for a Hypothetical Polynomial Time Aproximation Algorithm for the TSP
A. G. Yaneff · 2003
Abstract onlyNot checked
Effective Strong Dimension, Algorithmic Information, and Computational Complexity
Krishna B. Athreya, John M. Hitchcock, Jack H. Lutz et al. · 2003
Abstract onlyNot checked
Monodic temporal resolution
Anatoly Degtyarev, Michael Fisher, Boris Konev · 2003
Abstract onlyNot checked
Size reduction and partial decoupling of systems of equations
Thomas Wolf · J. Symb. Comp. 33, no 3 (2002) 367-383 · 2003
Abstract onlyNot checked
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances
Ke Xu, Wei Li · 2003
Abstract onlyNot checked
Results on the quantitative mu-calculus qMu
Annabelle McIver, Carroll Morgan · 2003
Abstract onlyNot checked
On the probabilistic approach to the random satisfiability problem
Giorgio Parisi · 2003
Abstract onlyNot checked
Smoothed Analysis of Interior-Point Algorithms: Termination
Daniel A. Spielman, Shang-Hua Teng · 2003
Abstract onlyNot checked
How long is a Proof? - A short note
A. G. Yaneff · 2003
Abstract onlyNot checked
On coalgebra based on classes
J. Adamek, S. Milius, J. Velebil · 2003
Abstract onlyNot checked
A Representation of Changes of Images and its Application for Developmental Biolology
Gene Kim, MyungHo Kim · 2003
Abstract onlyNot checked
Compact Approximation of Lattice Functions with Applications to Large-Alphabet Text Search
Paolo Boldi, Sebastiano Vigna · 2003
Abstract onlyNot checked
A Transformational Decision Procedure for Non-Clausal Propositional Formulas
Alexander Sakharov · 2003
Abstract onlyNot checked
Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification
Eli Appleboim, Emil Saucan · 2003
Abstract onlyNot checked
An Extension of the Lovasz Local Lemma, and its Applications to Integer Programming
Aravind Srinivasan · 2003
Abstract onlyNot checked
A Development Calculus for Specifications
Wei Li · 2003
Abstract onlyNot checked
Formal Concept Analysis and Resolution in Algebraic Domains
Pascal Hitzler, Matthias Wendt · 2003
Abstract onlyNot checked
EqRank: A Self-Consistent Equivalence Relation on Graph Vertexes
Grigorii Pivovarov, Sergei Trunov · 2003
Abstract onlyNot checked