Travelled to:1 × Austria
1 × France
1 × Germany
1 × Poland
1 × United Kingdom
Collaborated with:P.Fontaine S.Merz A.Leitsch J.Gorzny J.Boudou A.Fellner G.Reis D.Itegulov J.Slaney D.Déharbe T.Dunchev T.Libal D.Weller
Talks about:proof (4) compress (3) resolut (3) system (3) toward (2) intuitionist (1) transform (1) symmetri (1) proposit (1) descript (1)
Person: Bruno Woltzenlogel Paleo
DBLP: Paleo:Bruno_Woltzenlogel
Contributed to:
2015
2014
2012201120102017Wrote 7 papers:
- CADE-2015-GorznyP #first-order #proving #towards
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.
- IJCAR-2014-BoudouFP #named #proving
- Skeptik: A Proof Compression System (JB, AF, BWP), pp. 374–380.
- CSL-2012-LeitschRP #logic #towards
- Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.
- CADE-2011-DeharbeFMP #problem #smt #symmetry
- Exploiting Symmetry in SMT Problems (DD, PF, SM, BWP), pp. 222–236.
- CADE-2011-FontaineMP #proving
- Compression of Propositional Resolution Proofs via Partial Regularization (PF, SM, BWP), pp. 237–251.
- IJCAR-2010-DunchevLLWP #proving
- System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.
- CADE-2017-ItegulovSP #proving #theorem proving
- Scavenger 0.1: A Theorem Prover Based on Conflict Resolution (DI, JS, BWP), pp. 344–356.