Search Results for author:
Found 5 papers, 1 papers with code
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
We propose Large Neighborhood Prioritized Search (LNPS) for solving combinatorial optimization problems in Answer Set Programming (ASP).
Core Challenge 2023: Solver and Graph Descriptions
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.
Core Challenge 2022: Solver and Graph Descriptions
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2022.
Implementing Efficient All Solutions SAT Solvers
We faithfully implement them and conduct comprehensive experiments using a large number of instances and various types of solvers including one of the few public softwares.
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
We here develop an alternative approach based on ASP.
