Quicklinks

Portrait of Person: Benjamin Kiesl

Benjamin Kiesl (Postdoc)
 
 Stuhlsatzenhaus 5 | 66123 Saarbrücken | 1.04

Publications:

Title Date Date
 2019
TACAS
2019
 Marijn J.H. Heule, Benjamin Kiesl, Armin Biere
 NRA2
 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
 2019
SAT
2019
 Benjamin Kiesl, Martina Seidl
 NRA2
 International Conference on Theory and Applications of Satisfiability Testing
 2019
2019
 Marijn J.H. Heule, Benjamin Kiesl, Armin Biere
 NRA2
 Journal of Automated Reasoning
 2019
ATVA
2019
 Benjamin Kiesl, Marijn J.H. Heule, Armin Biere
 NRA2
 17th International Symposium on Automated Technology for Verification and Analysis