Concepedia

Andreas Goerdt

AG

19

Publications

886

Citations

14

H-Index

1986

Active since

Affiliations

Chemnitz University of Technology(Current)

Humboldt-Universität zu Berlin

University of Duisburg-Essen

Andreas Goerdt is an author at Chemnitz University of Technology specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexitySatisfiabilityDiscrete MathematicsAutomated ReasoningFormal MethodsFormal VerificationCombinatorial OptimizationVerification

Publications per year

1986–2009

19

Publications

19

A Threshold for Unsatisfiability

Andreas Goerdt · Journal of Computer and System Sciences · 1996 · 238 citations

Engineering, Automated Reasoning, Proof Complexity +6

A deterministic (2−2/(k+1))n algorithm for k-SAT based on local search

Evgeny Dantsin, Andreas Goerdt, Edward Hirsch et al. · Theoretical Computer Science · 2002 · 227 citations

Local Search, Engineering, Local Search (Optimization) +9

An automata-theoretical characterization of the OI-hierarchy

Werner Damm, Andreas Goerdt · Information and Control · 1986 · 69 citations

Logical Automaton, Engineering, Automated Reasoning +6

Davis-Putnam resolution versus unrestricted resolution

Andreas Goerdt · Annals of Mathematics and Artificial Intelligence · 1992 · 49 citations

Engineering, Automated Reasoning, Proof Complexity +3

Regular Resolution Versus Unrestricted Resolution

Andreas Goerdt · SIAM Journal on Computing · 1993 · 33 citations

High Resolution, Engineering, Automated Reasoning +14

Rows per page

1–5 of 19