Benjamin Kiesl
From MaRDI portal
Person:1680259
Available identifiers
zbMath Open kiesl.benjaminMaRDI QIDQ1680259
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Encoding Redundancy for Satisfaction-Driven Clause Learning | 2023-11-24 | Paper |
| Simulating strong practical proof systems with extended resolution | 2020-11-02 | Paper |
| Truth Assignments as Conditional Autarkies | 2020-07-20 | Paper |
| QRAT polynomially simulates \(\forall\)-Exp+Res | 2020-05-20 | Paper |
| Strong extension-free proof systems | 2020-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631192 | 2019-04-24 | Paper |
| Blocked Clauses in First-Order Logic | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553279 | 2018-11-02 | Paper |
| Extended resolution simulates \({\mathsf{DRAT}}\) | 2018-10-18 | Paper |
| A little blocked literal goes a long way | 2017-11-15 | Paper |
| Short proofs without new variables | 2017-09-22 | Paper |
| A unifying principle for clause elimination in first-order logic | 2017-09-22 | Paper |
| Super-Blocked Clauses | 2016-09-05 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Benjamin Kiesl
