Andy Oertel

From MaRDI portal
Person:6711292

Available identifiers

MaRDI QIDQ6711292

List of research outcomes





PublicationDate of PublicationType
Experimental Repository for "Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability"2024-10-10Dataset
Experimental Repository for "Certified Core-Guided MaxSAT Solving"2023-05-25Dataset
Experimental Repository for "Certified CNF Translations for Pseudo-Boolean Solving"2022-06-06Dataset

Research outcomes over time

This page was built for person: Andy Oertel

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