56 citations · 63 across the 5 of their papers we have counts for
5 papers
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Takehiro Ito, Jun Kawahara, Yu Nakahata +4
This paper proposes an algorithmic framework for various reconfiguration problems using zero-suppressed binary decision diagrams (ZDDs), a data structure for families of sets. In g…
Exact Method for Generating Strategy-Solvable Sudoku Clues
Kohei Nishikawa, Takahisa Toda
A Sudoku puzzle often has a regular pattern in the arrangement of initial digits and it is typically made solvable with known solving techniques, called strategies. In this paper,…
Implementing Efficient All Solutions SAT Solvers
Takahisa Toda, Takehide Soh
All solutions SAT (AllSAT for short) is a variant of propositional satisfiability problem. Despite its significance, AllSAT has been relatively unexplored compared to other variant…
On Separating Families of Bipartitions
Takahisa Toda, Ivo Vigan
In this paper, we focus on families of bipartitions, i.e. set partitions consisting of at most two components. We say that a family of bipartitions is a separating family for a set…
Multi-convex sets in real projective spaces and their duality
Takahisa Toda
We study intersections of projective convex sets in the sense of Steinitz. In a projective space, an intersection of a nonempty family of convex sets splits into multiple connected…