Send email Copy Email Address
Postdoc

Benjamin Kiesl

Reliable Security Guarantees

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Benjamin Kiesl

Year 2019

2019-04-04

Encoding Redundancy for Satisfaction-Driven Clause Learning

Conference / Medium

TACAS
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019-02-22

Strong Extension-Free Proof Systems

Article

Journal of Automated Reasoning

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019

Truth Assignments as Conditional Autarkies

Conference / Medium

ATVA
17th International Symposium on Automated Technology for Verification and Analysis

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019

QRAT Polynomially Simulates \forall-Exp+Res

Conference / Medium

SAT
International Conference on Theory and Applications of Satisfiability Testing

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page