search result

Cover von Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
article
Search for this author
Year: 2023
Publisher: AI Access Foundation
Series: Journal of Artificial Intelligence Research : JAIR; 77. 2023
Media group: ARTICLE
Cover von Certified CNF Translations for Pseudo-Boolean Solving

Certified CNF Translations for Pseudo-Boolean Solving

Year: 2022
Media group: LIPIcs
Cover von An Auditable Constraint Programming Solver

An Auditable Constraint Programming Solver

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0