Benjamin Kiesl
发表
Cas Cremers,
Benjamin Kiesl,
Niklas Medinger,
2020,
USENIX Security Symposium.
Martin Suda,
Benjamin Kiesl,
M. Suda,
2017,
CADE.
Armin Biere,
Marijn J. H. Heule,
Benjamin Kiesl,
2019,
NFM.
Marijn J. H. Heule,
Marijn Heule,
Benjamin Kiesl,
2017,
ARCADE@CADE.
Marijn J. H. Heule,
Benjamin Kiesl,
Armin Biere,
2019,
ATVA.
Hans Tompits,
Armin Biere,
Martina Seidl,
2017,
IJCAI.
Hans Tompits,
Peter Schüller,
Benjamin Kiesl,
2015,
ICLP.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2019,
TACAS.
Martina Seidl,
Benjamin Kiesl,
2019,
SAT.
Hans Tompits,
Armin Biere,
Martina Seidl,
2017,
Log. Methods Comput. Sci..
Hans Tompits,
Armin Biere,
Martina Seidl,
2016,
IJCAR.
Martina Seidl,
Marijn Heule,
Benjamin Kiesl,
2017,
SAT.
Hans Tompits,
Armin Biere,
Martina Seidl,
2017
.
Marijn J. H. Heule,
Marijn Heule,
Adrián Rebola-Pardo,
2018,
IJCAR.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
Haifa Verification Conference.
Cas Cremers,
Benjamin Kiesl,
Jaiden Fairoze,
2020,
CCS.
Armin Biere,
Marijn J. H. Heule,
Marijn Heule,
2017,
CADE.
Armin Biere,
Marijn J. H. Heule,
Benjamin Kiesl,
2019,
Journal of Automated Reasoning.
Adrián Rebola-Pardo,
Benjamin Kiesl,
Armin Biere,
2020,
Journal of Automated Reasoning.
Armin Biere,
Matti Järvisalo,
Benjamin Kiesl,
2021,
Handbook of Satisfiability.