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 × 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 DBLP: Paleo:Bruno_Woltzenlogel

Contributed to:

CADE 20152015
IJCAR 20142014
CSL 20122012
CADE 20112011
IJCAR 20102010
CADE 20172017

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.

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.