Ruben Martins

From MaRDI portal
Person:6711291

Available identifiers

MaRDI QIDQ6711291

List of research outcomes





PublicationDate of PublicationType
Experimental Repository for "Certified CNF Translations for Pseudo-Boolean Solving"2022-06-06Dataset

Research outcomes over time

This page was built for person: Ruben Martins