Stephan Gocht

From MaRDI portal
Person:1656586

Available identifiers

zbMath Open gocht.stephanMaRDI QIDQ1656586

List of research outcomes





PublicationDate of PublicationType
Certified CNF translations for pseudo-Boolean solving2024-07-12Paper
Using Relational Verification for Program Slicing2024-03-14Paper
Certified dominance and symmetry breaking for combinatorial optimisation2023-10-23Paper
Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling2021-02-04Paper
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving2018-08-10Paper

Research outcomes over time

This page was built for person: Stephan Gocht

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1656586&oldid=6318314"
Powered by MediaWiki