Picture for Takehide Soh

Takehide Soh

Dominating Set Reconfiguration with Answer Set Programming

Add code
Aug 14, 2024
Viaarxiv icon

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Add code
May 18, 2024
Viaarxiv icon

Core Challenge 2023: Solver and Graph Descriptions

Add code
Oct 27, 2023
Viaarxiv icon

Core Challenge 2022: Solver and Graph Descriptions

Add code
Aug 04, 2022
Figure 1 for Core Challenge 2022: Solver and Graph Descriptions
Figure 2 for Core Challenge 2022: Solver and Graph Descriptions
Figure 3 for Core Challenge 2022: Solver and Graph Descriptions
Figure 4 for Core Challenge 2022: Solver and Graph Descriptions
Viaarxiv icon

Implementing Efficient All Solutions SAT Solvers

Add code
Oct 02, 2015
Figure 1 for Implementing Efficient All Solutions SAT Solvers
Figure 2 for Implementing Efficient All Solutions SAT Solvers
Figure 3 for Implementing Efficient All Solutions SAT Solvers
Figure 4 for Implementing Efficient All Solutions SAT Solvers
Viaarxiv icon

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Add code
Dec 20, 2013
Figure 1 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Figure 2 for Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Viaarxiv icon