Stephan Gocht
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Certified CNF translations for pseudo-Boolean solving | 2024-07-12 | Paper |
| Using Relational Verification for Program Slicing | 2024-03-14 | Paper |
| Certified dominance and symmetry breaking for combinatorial optimisation The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
| Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling | 2021-02-04 | Paper |
| In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving | 2018-08-10 | Paper |
Research outcomes over time
This page was built for person: Stephan Gocht
