Travelled to:1 × Austria
1 × France
1 × Japan
Collaborated with:O.Beyersdorff K.Sreenivasaiah M.Mahajan A.Shukla
Talks about:resolut (2) circumscript (1) characteris (1) interpol (1) theorem (1) feasibl (1) complex (1) calculi (1) entail (1) prove (1)
Person: Leroy Chew
DBLP: Chew:Leroy
Contributed to:
2015
2015
2014Wrote 3 papers:
- ICALP-v1-2015-BeyersdorffCMS #calculus
- Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.
- LATA-2015-BeyersdorffCS #game studies
- A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.
- IJCAR-2014-BeyersdorffC #complexity #proving #theorem proving
- The Complexity of Theorem Proving in Circumscription and Minimal Entailment (OB, LC), pp. 403–417.