research
∙
07/28/2022
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Given a graph G and two independent sets S, T of G, the independent set ...
share
research
∙
05/28/2020
Exact Method for Generating Strategy-Solvable Sudoku Clues
A Sudoku puzzle often has a regular pattern in the arrangement of initia...
research
∙
10/02/2015
