search result

Cover von Towards Certified MaxSAT Solving
Search for this author
Year: 2023
Publisher: Delft, University
Media group: ARTICLE
Cover von Modeling Machine Learning and Data Mining Problems with FO(·)

Modeling Machine Learning and Data Mining Problems with FO(·)

Year: 2012
Media group: ARTICLE
Cover von Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets

Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets

Year: 2025
Media group: LIPIcs
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 Simplifying Step-Wise Explanation Sequences

Simplifying Step-Wise Explanation Sequences

Year: 2023
Media group: LIPIcs
Cover von Expressiveness of SHACL Features

Expressiveness of SHACL Features

Year: 2022
Media group: LIPIcs
Cover von Executable First-Order Queries in the Logic of Information Flows

Executable First-Order Queries in the Logic of Information Flows

Year: 2020
Media group: LIPIcs
Cover von A Compositional Typed Higher-Order Logic with Definitions

A Compositional Typed Higher-Order Logic with Definitions

Year: 2016
Media group: OASICS
Cover von Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability

Author: Vandesande, Dieter
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0