Searching for authors named "Andreas Goerdt" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A Remark On Random 2-SAT
- …A REMARK ON RANDOM 2-SAT Andreas Goerdt Fakultat fur Informatik / TU Chemnitz-Zwickau D-09107…
- Cited by 3 (0 self) – Add To MetaCart
-
Efficient recognition of random unsatisfiable k-SAT instances by spectral methods
- …Ecient recognition of random unsatisable k-SAT instances by spectral methods Andreas Goerdt 1…
- Cited by 13 (2 self) – Add To MetaCart
-
Recognizing more random unsatisfiable 3-SAT instances efficiently
- …Recognizing more random unsatisfiable 3-SAT instances efficiently Andreas Goerdt André Lanka…
- Cited by 2 (1 self) – Add To MetaCart
-
Certifying unsatisfiability of random 2k-sat formulas using approximation techniques
- …-Oghlan 2 , Andreas Goerdt 1 , André Lanka 1 , and Frank Schädlich 1 1 Technische Universität Chemnitz…
- Cited by 5 (2 self) – Add To MetaCart
-
Complexity of the Intuitionistic Sequent Calculus
- …Complexity of the intuitionistic sequent calculus Andreas Goerdt TU Chemnitz Theoretische…
- Cited by 1 (0 self) – Add To MetaCart
-
Random Regular Graphs with Edge Faults Expansion through Cores
- …Random Regular Graphs with Edge Faults Expansion through Cores Andreas Goerdt TU Chemnitz…
- Cited by 3 (0 self) – Add To MetaCart
-
The Giant Component Threshold for Random Regular Graphs with Edge Faults
- …The Giant Component Threshold for Random Regular Graphs with Edge Faults Andreas Goerdt TU…
- Cited by 6 (2 self) – Add To MetaCart
-
Recognizing more unsatisfiable random k-SAT instances efficiently
- …Recognizing more unsatisable random k-SAT instances eciently Joel Friedman 1 , Andreas Goerdt 2…
- Cited by 8 (0 self) – Add To MetaCart
-
Deterministic algorithms for k-SAT based on covering codes and local search
- …,⋆ , Andreas Goerdt 2 , Edward A. Hirsch 3,⋆⋆ , and Uwe Schöning 4 1 Steklov Institute of Mathematics, 27…
- Cited by 25 (9 self) – Add To MetaCart
-
On the hardness and easiness of random 4-sat formulas
- …On the hardness and easiness of random 4-SAT formulas Andreas Goerdt and André Lanka Technische…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
