Fill-a-Pix Puzzle as a SAT Problem | IEEE Conference Publication | IEEE Xplore