Name Card

Full name Familienname, Vorname
Kiesl, Benjamin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kiesl Benjamin - 2019 - Structural reasoning methods for satisfiability solving...pdf.jpgKiesl, Benjamin Structural reasoning methods for satisfiability solving and beyondThesis Hochschulschrift 2019
2Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Local Redundancy in SAT: Generalizations of Blocked ClausesArtikel Article 2018
3Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn Extended Resolution Simulates DRATKonferenzbeitrag Inproceedings 2018
4Heule, Marijn ; Kiesl, Benjamin The Potential of Interference-Based Proof SystemsKonferenzbeitrag Inproceedings 2017
5Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin Short Proofs Without New VariablesKonferenzbeitrag Inproceedings 2017
6Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
7Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
8Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?Konferenzbeitrag Inproceedings 2017
9Kiesl Benjamin - 2017 - Blocked Clauses in First-Order Logic.pdf.jpgKiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blocked Clauses in First-Order LogicInproceedings Konferenzbeitrag 2017
10Kiesl, Benjamin ; Suda, Martin First-Order Logic and Blocked ClausesPräsentation Presentation2016
11Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016
12Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
13Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans On Structural Analysis of Non-Ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2015
14Kiesl Benjamin - 2014 - On transforming answer-set programs towards...pdf.jpgKiesl, Benjamin On transforming answer-set programs towards natural-language representationsThesis Hochschulschrift 2014