Nils Froleyks

From MaRDI portal
Person:6700795

Available identifiers

MaRDI QIDQ6700795

List of research outcomes





PublicationDate of PublicationType
CaDiCaL 2.2 System Description Artifact2025-02-25Dataset
HWMCC'24 Benchmarks and Results2025-01-30Dataset
CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models2024-05-16Dataset
Clausal Equivalence Sweeping Paper Logs2024-05-16Dataset
The SAT Museum POS'23 Artifact2023-10-24Dataset
Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 20222023-03-19Dataset

Research outcomes over time

This page was built for person: Nils Froleyks

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