BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × France
1 × Greece
1 × Portugal
1 × Switzerland
1 × USA
Collaborated with:
T.Pitassi A.Hertel ∅ S.A.Cook P.Hertel N.H.Arai R.Impagliazzo M.Alekhnovich J.Johannsen
Talks about:
resolut (3) regular (2) general (2) separ (2) tree (2) interpret (1) exponenti (1) construct (1) character (1) tableaux (1)

Person: Alasdair Urquhart

DBLP DBLP: Urquhart:Alasdair

Contributed to:

SAT 20082008
CSL 20072007
SAT 20072007
STOC 20022002
STOC 20012001
LICS 19941994
STOC 19891989

Wrote 7 papers:

SAT-2008-Urquhart
Regular and General Resolution: An Improved Separation (AU), pp. 277–290.
CSL-2007-HertelU #game studies
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
SAT-2007-HertelHU #encoding #formal method #satisfiability
Formalizing Dangerous SAT Encodings (AH, PH, AU), pp. 159–172.
STOC-2002-AlekhnovichJPU #exponential
An exponential separation between regular and general resolution (MA, JJ, TP, AU), pp. 448–456.
STOC-2001-AraiPU #complexity
The complexity of analytic tableaux (NHA, TP, AU), pp. 356–363.
LICS-1994-ImpagliazzoPU #bound #proving
Upper and Lower Bounds for Tree-Like Cutting Planes Proofs (RI, TP, AU), pp. 220–228.
STOC-1989-CookU #functional
Functional Interpretations of Feasibly Constructive Arithmetic (SAC, AU), pp. 107–112.
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.