research
∙
07/20/2023
Bounded Combinatorial Reconfiguration with Answer Set Programming
We develop an approach called bounded combinatorial reconfiguration for ...
share
research
∙
05/18/2023
On the Computational Complexity of Generalized Common Shape Puzzles
In this study, we investigate the computational complexity of some varia...
research
∙
01/20/2022
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions
In this paper, we propose a fast method for exactly enumerating a very l...
research
∙
10/07/2021
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
A rep-tile is a polygon that can be dissected into smaller copies (of th...
research
∙
05/12/2017
Clingcon: The Next Generation
We present the third generation of the constraint answer set system clin...
research
∙
12/20/2013