Picture for Matti Järvisalo

Matti Järvisalo

Certified MaxSAT Preprocessing

Add code
Apr 26, 2024
Figure 1 for Certified MaxSAT Preprocessing
Figure 2 for Certified MaxSAT Preprocessing
Figure 3 for Certified MaxSAT Preprocessing
Figure 4 for Certified MaxSAT Preprocessing
Viaarxiv icon

Learning big logical rules by joining small rules

Add code
Jan 29, 2024
Figure 1 for Learning big logical rules by joining small rules
Figure 2 for Learning big logical rules by joining small rules
Figure 3 for Learning big logical rules by joining small rules
Figure 4 for Learning big logical rules by joining small rules
Viaarxiv icon

SharpSAT-TD in Model Counting Competitions 2021-2023

Add code
Aug 30, 2023
Viaarxiv icon

Learning MDL logic programs from noisy data

Add code
Aug 18, 2023
Viaarxiv icon

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Add code
Aug 09, 2021
Figure 1 for Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Figure 2 for Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Figure 3 for Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Figure 4 for Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Viaarxiv icon

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity

Add code
Dec 18, 2016
Figure 1 for Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity
Figure 2 for Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity
Figure 3 for Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity
Figure 4 for Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity
Viaarxiv icon

Causal Discovery from Subsampled Time Series Data by Constraint Optimization

Add code
Jul 13, 2016
Figure 1 for Causal Discovery from Subsampled Time Series Data by Constraint Optimization
Figure 2 for Causal Discovery from Subsampled Time Series Data by Constraint Optimization
Figure 3 for Causal Discovery from Subsampled Time Series Data by Constraint Optimization
Figure 4 for Causal Discovery from Subsampled Time Series Data by Constraint Optimization
Viaarxiv icon

Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Add code
Sep 09, 2011
Figure 1 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Figure 2 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Figure 3 for Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Viaarxiv icon

Covered Clause Elimination

Add code
Nov 23, 2010
Figure 1 for Covered Clause Elimination
Viaarxiv icon

Testing and Debugging Techniques for Answer Set Solver Development

Add code
Jul 19, 2010
Figure 1 for Testing and Debugging Techniques for Answer Set Solver Development
Figure 2 for Testing and Debugging Techniques for Answer Set Solver Development
Figure 3 for Testing and Debugging Techniques for Answer Set Solver Development
Figure 4 for Testing and Debugging Techniques for Answer Set Solver Development
Viaarxiv icon