GrandTour-obs Puzzle as a SAT Benchmark
Full Text: 2018-SAT-competition-GrandTour.pdf
GrandTour1 is a puzzle game, which is usually played in a rectangular grid of points, where a player is posed with the challenge to find a closed loop that goes through each point exactly once. In GrandTour, the player is allowed to connect any pair of points to solve the game. We consider a slight variation of the GrandTour puzzle game, where a player is allowed to connect a restricted subset of pairs of points, as there are obstacles between some of the points. We call this puzzle GrandTour with obstacles or GrandTourobs. For SAT competition-2018, we provide 20 SAT instances of the GrandTourobs puzzle.
Citation
M. Chowdhury, M. Müller, J. You. "GrandTour-obs Puzzle as a SAT Benchmark". SAT Competition, (ed: Heule , M J H , Järvisalo , M J & Suda , M), pp 59-60, June 2018.| Keywords: | |
| Category: | In Conference |
| Web Links: | Permalink |
BibTeX
@incollection{Chowdhury+al:18,
author = {Md Solimul Chowdhury and Martin Müller and Jia-Huai You},
title = {GrandTour-obs Puzzle as a SAT Benchmark},
Editor = {Heule , M J H , Järvisalo , M J & Suda , M},
Pages = {59-60},
booktitle = {SAT Competition},
year = 2018,
}Last Updated: June 29, 2020Submitted by Sabina P
