{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T03:44:44Z","timestamp":1777693484344,"version":"3.51.4"},"reference-count":6,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ICG"],"published-print":{"date-parts":[[2019,3,25]]},"abstract":"<jats:p>Nonogram is a typical two-dimensional logical puzzle game in which each pixel involves two constraints associated to the intersecting row and column. The recently proposed approaches can efficiently solve many puzzles via logical deduction based on the 2-SAT formulas. This paper proposes a set of new logical properties for inferencing the consistent and inverse relations among pixels. We show that the pixels with consistent (or inverse) relation must be painted to a same (or an opposite) color in the solution puzzle. Consequently, the pixels can be aggregated into groups, thereby the space of search tree of the Nonogram backtracking algorithm can be reduced.<\/jats:p>","DOI":"10.3233\/icg-180067","type":"journal-article","created":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T10:47:09Z","timestamp":1542970029000},"page":"387-396","source":"Crossref","is-referenced-by-count":1,"title":["Solving Nonogram puzzles by using group-based fully probing"],"prefix":"10.1177","volume":"40","author":[{"given":"Lung-Pin","family":"Chen","sequence":"first","affiliation":[{"name":"Tunghai University, 40704, Taichung, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuo-Chan","family":"Huang","sequence":"additional","affiliation":[{"name":"National Taichung University of Education, Taichung, 40306, Taichung, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"8","key":"10.3233\/ICG-180067_ref1","doi-asserted-by":"publisher","first-page":"1672","DOI":"10.1016\/j.patcog.2008.12.003","article-title":"Solving nonograms by combining relaxations","volume":"42","author":"Batenburg","year":"2009","journal-title":"Pattern Recognit."},{"key":"10.3233\/ICG-180067_ref2","doi-asserted-by":"crossref","unstructured":"Cohen, D., Jeavons, P. & Gyssens, M. (2008). A unified theory of structural tractability for constraint satisfaction problems. Journal of Computer System Sciences, 74(5), 721\u2013743.","DOI":"10.1016\/j.jcss.2007.08.001"},{"issue":"1","key":"10.3233\/ICG-180067_ref3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.3233\/ICG-2011-34118","article-title":"The 2011 TAAI computer-game tournaments","volume":"34","author":"Lin","year":"2011","journal-title":"ICGA Journal"},{"issue":"4","key":"10.3233\/ICG-180067_ref4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.3233\/ICG-2011-34403","article-title":"An efficient approach to solving the minimum su oku problem","volume":"34","author":"Lin","year":"2011","journal-title":"ICGA Journal"},{"key":"10.3233\/ICG-180067_ref5","doi-asserted-by":"crossref","unstructured":"Liu, T.-Y., Wu, I.-C. & Sun, D.-J. (2012). Solving the Slitherlink Problem. In Proceedings of the 2012 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2012), November 16\u201318, 2012 (pp. 284\u2013289).","DOI":"10.1109\/TAAI.2012.36"},{"issue":"3","key":"10.3233\/ICG-180067_ref13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/TCIAIG.2013.2251884","article-title":"An efficient approach to solving nonograms","volume":"5","author":"Wu","year":"2013","journal-title":"IEEE Transactions on Computational Intelligence and AI in Games"}],"container-title":["ICGA Journal"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/ICG-180067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:12:53Z","timestamp":1777453973000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/ICG-180067"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,25]]},"references-count":6,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/icg-180067","relation":{},"ISSN":["2468-2438","1389-6911"],"issn-type":[{"value":"2468-2438","type":"electronic"},{"value":"1389-6911","type":"print"}],"subject":[],"published":{"date-parts":[[2019,3,25]]}}}