Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Kiesl, Benjamin
 
Postfix title Titel (nachgestellt)
BSc
 
Main Affiliation Organisations­zuordnung
 

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

PreviewAuthors / EditorsTitleTypeIssue 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 Article2018
3Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn Extended Resolution Simulates DRATKonferenzbeitrag Inproceedings2018
4Kiesl 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
5Heule, Marijn ; Kiesl, Benjamin The Potential of Interference-Based Proof SystemsKonferenzbeitrag Inproceedings 2017
6Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin ; Bacchus, Fahiem Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?Konferenzbeitrag Inproceedings 2017
7Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina ; Gaspers, Serge ; Walsh, Toby A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
8Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin ; de Moura, Leonardo Short Proofs Without New VariablesKonferenzbeitrag Inproceedings 2017
9Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
10Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016
11Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
12Kiesl, Benjamin ; Suda, Martin First-Order Logic and Blocked ClausesPräsentation Presentation2016
13Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans ; De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca 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