Stephan Gocht

From MaRDI portal
Person:6711277

Available identifiers

MaRDI QIDQ6711277

List of research outcomes





PublicationDate of PublicationType
Experimental Repository for "Certified CNF Translations for Pseudo-Boolean Solving"2022-06-06Dataset
Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"2020-09-18Dataset

This page was built for person: Stephan Gocht



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