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 × Ireland
Collaborated with:
M.J.H.Heule H.Tompits A.Biere M.S.0001 P.Schüller A.Rebola-Pardo M.Seidl
Talks about:
claus (2) structur (1) principl (1) without (1) variabl (1) resolut (1) program (1) analysi (1) ground (1) extend (1)

Person: Benjamin Kiesl

DBLP DBLP: Kiesl:Benjamin

Contributed to:

ICLP TC 20152015
IJCAR 20162016
CADE 20172017
IJCAR 20182018

Wrote 5 papers:

ICLP-2015-KieslST #analysis #on the #source code
On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT), pp. 221–234.
IJCAR-2016-KieslSTB
Super-Blocked Clauses (BK, MS, HT, AB), pp. 45–61.
CADE-2017-HeuleKB #proving
Short Proofs Without New Variables (MJHH, BK, AB), pp. 130–147.
CADE-2017-Kiesl0 #first-order #logic
A Unifying Principle for Clause Elimination in First-Order Logic (BK, MS0), pp. 274–290.
IJCAR-2018-KieslRH
Extended Resolution Simulates DRAT (BK, ARP, MJHH), pp. 516–531.

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.