BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Greece
1 × United Kingdom
2 × Switzerland
2 × USA
3 × Germany
Collaborated with:
J.Friedman U.Kamps W.Damm E.Dantsin E.A.Hirsch U.Schöning M.Dietzfelbinger M.Mitzenmacher A.Montanari R.Pagh M.Rink
Talks about:
character (3) resolut (2) definit (2) complex (2) versus (2) system (2) search (2) recurs (2) higher (2) proof (2)

Person: Andreas Goerdt

DBLP DBLP: Goerdt:Andreas

Contributed to:

ICALP (1) 20102010
ICALP 20012001
ICALP 20002000
CSL 19931993
CSL 19911991
CSL 19901990
CSL 19891989
LICS 19891989
CSL 19881988
LICS 19871987
ICALP 19821982

Wrote 11 papers:

ICALP-v1-2010-DietzfelbingerGMMPR #satisfiability
Tight Thresholds for Cuckoo Hashing via XORSAT (MD, AG, MM, AM, RP, MR), pp. 213–225.
ICALP-2001-FriedmanG #random #satisfiability
Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently (JF, AG), pp. 310–321.
ICALP-2000-DantsinGHS #algorithm #satisfiability
Deterministic Algorithms for k-SAT Based on Covering Codes and Local Search (ED, AG, EAH, US), pp. 236–247.
CSL-1993-GoerdtK #backtracking #on the #parallel
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search (AG, UK), pp. 106–127.
CSL-1991-Goerdt #bound #proving
The Cutting Plane Proof System with Bounded Degree of Falsity (AG), pp. 119–133.
CSL-1990-Goerdt #proving
Cuting Plane Versus Frege Proof Systems (AG), pp. 174–194.
CSL-1989-Goerdt #strict
Davis-Putnam Resolution versus Unrestricted Resolution (AG), pp. 143–162.
LICS-1989-Goerdt #complexity #recursion
Characterizing Complexity Classes By Higher Type Primitive Recursive Definitions (AG), pp. 364–374.
CSL-1988-Goerdt #complexity #recursion
Characterizing Complexity Classes by General Recursive Definitions in Higher Types (AG), pp. 99–117.
LICS-1987-Goerdt #hoare #imperative #logic
Hoare Logic for λ-Terms as Basis of Hoare Logic for Imperative Languages (AG), pp. 293–299.
An Automata-Theoretic Characterization of the OI-Hierarchy (WD, AG), pp. 141–153.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.