Picture for Jo Devriendt

Jo Devriendt

FOLASP: FO as Input Language for Answer Ser Solvers

Add code
Aug 09, 2021
Figure 1 for FOLASP: FO as Input Language for Answer Ser Solvers
Figure 2 for FOLASP: FO as Input Language for Answer Ser Solvers
Figure 3 for FOLASP: FO as Input Language for Answer Ser Solvers
Figure 4 for FOLASP: FO as Input Language for Answer Ser Solvers
Viaarxiv icon

Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021

Add code
Aug 02, 2021
Figure 1 for Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
Viaarxiv icon

A MIP Backend for the IDP System

Add code
Sep 02, 2016
Figure 1 for A MIP Backend for the IDP System
Figure 2 for A MIP Backend for the IDP System
Figure 3 for A MIP Backend for the IDP System
Viaarxiv icon

BreakID: Static Symmetry Breaking for ASP (System Description)

Add code
Aug 30, 2016
Figure 1 for BreakID: Static Symmetry Breaking for ASP (System Description)
Figure 2 for BreakID: Static Symmetry Breaking for ASP (System Description)
Figure 3 for BreakID: Static Symmetry Breaking for ASP (System Description)
Figure 4 for BreakID: Static Symmetry Breaking for ASP (System Description)
Viaarxiv icon

Implementing a Relevance Tracker Module

Add code
Aug 19, 2016
Figure 1 for Implementing a Relevance Tracker Module
Figure 2 for Implementing a Relevance Tracker Module
Viaarxiv icon