Efficient SAT-Based Approach for Solving Juosan Puzzles
Book chapter in Springer Proceedings in Mathematics & Statistics (July 2024)
The most recent citing publications are shown below. View all 69 publications that cite this research output on Dimensions.
Book chapter in Springer Proceedings in Mathematics & Statistics (July 2024)
Book chapter in Springer Proceedings in Mathematics & Statistics (July 2024)
Article in Journal of Automated Reasoning (June 2024)