@inproceedings{cabd0e6afea14648ace60d6426bddff2,
title = "Fill-a-Pix Puzzle as a SAT Problem",
abstract = "Fill-a-Pix Puzzle is a Picture Logic Puzzle that has not been solved as a SAT Problem as well as there is no SAT Conjunctive Normal Form (CNF) Encoding Method to solve this puzzle yet. There are several practical SAT problems in various fields such as Artificial Intelligence (AI), Automatic Theorem Proving, Circuit Design, etc. Fill-a-Pix puzzle is also one of the SAT problems. This research proposes the SAT CNF Encoding Method to solve Fill-a-Pix Puzzle as a SAT Problem using SAT Solvers. The proposed SAT CNF Encoding Method will be executed on different standard SAT solvers - MiniSAT, CryptoMiniSAT and RSAT. The evaluation is presented regarding the CPU Execution Times of each solver for executing the proposed SAT CNF Encoding, the Number of Variables and Clauses produced by the proposed SAT CNF Encoding as well as the Comparison of Fill-a-Pix Puzzle with the other Similar Puzzles such as Sudoku and Slitherlink based on the Number of Variables and Clauses produced by the proposed SAT CNF Encoding when executing Puzzle Sizes above 50 × 50.",
keywords = "CryptoMiniSAT, Fill-a-Pix Puzzle, MiniSAT, RSAT, SAT CNF Encoding",
author = "Myat, {Aye Myint} and Htwe, {Khine Khine} and Nobuo Funabiki",
year = "2019",
month = nov,
doi = "10.1109/AITC.2019.8920898",
language = "English",
series = "2019 International Conference on Advanced Information Technologies, ICAIT 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "244--249",
booktitle = "2019 International Conference on Advanced Information Technologies, ICAIT 2019",
note = "2019 International Conference on Advanced Information Technologies, ICAIT 2019 ; Conference date: 06-11-2019 Through 07-11-2019",
}