`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:

### Wrote 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.