A filtering technique for helping to solve sudoku problems

Ricardo Soto; Broderick Crawford; Cristian Galleguillos; Kathleen Crawford; Fernando Paredes

doi:10.1007/978-3-319-21380-4_102

A filtering technique for helping to solve sudoku problems

Ricardo Soto, Broderick Crawford, Cristian Galleguillos, Kathleen Crawford, Fernando Paredes

SCHOOL OF COMPUTER ENGINEERING

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper highlights the current usability issues when solving Sudoku problems. This problem is a well-known puzzle game which consists in assigning numbers in a game board, commonly of 9 × 9 size. The board of the game is composed of 9 columns, 9 rows and 9 3 × 3 sub-grids; each one containing 9 cells with distinct integers from 1 to 9. A game is completed when all cells have a value assigned, and the previous constraints are satisfied. Some instances are very difficult to solve, to tackle this issue, we have used a filtering technique named Arc Consistency 3 (AC3) from the Constraint Programming domain. This algorithm has revealed which is much related to the strategies employed by users in order to solve the Sudoku instances, but in contrast, this technique is executed in a short time, offering a good resolution guide to the users. In general, filtering techniques make easier solving Sudoku puzzles, providing good information to users for this.

Original language	English
Title of host publication	HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings
Editors	Constantine Stephanidis
Publisher	Springer Verlag
Pages	598-603
Number of pages	6
ISBN (Print)	9783319213798
DOIs	https://doi.org/10.1007/978-3-319-21380-4_102
State	Published - 2015
Event	17th International Conference on Human Computer Interaction, HCI 2015 - Los Angeles, United States Duration: 2 Aug 2015 → 7 Aug 2015

Publication series

Name	Communications in Computer and Information Science
Volume	528
ISSN (Print)	1865-0929

Conference

Conference	17th International Conference on Human Computer Interaction, HCI 2015
Country/Territory	United States
City	Los Angeles
Period	2/08/15 → 7/08/15

Keywords

Arc consistency
Constraint programming
Sudoku

Access to Document

10.1007/978-3-319-21380-4_102

Cite this

Soto, R., Crawford, B., Galleguillos, C., Crawford, K., & Paredes, F. (2015). A filtering technique for helping to solve sudoku problems. In C. Stephanidis (Ed.), HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings (pp. 598-603). (Communications in Computer and Information Science; Vol. 528). Springer Verlag. https://doi.org/10.1007/978-3-319-21380-4_102

Soto, Ricardo ; Crawford, Broderick ; Galleguillos, Cristian et al. / A filtering technique for helping to solve sudoku problems. HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings. editor / Constantine Stephanidis. Springer Verlag, 2015. pp. 598-603 (Communications in Computer and Information Science).

@inproceedings{2bf6062f801b41d1acbc882a7ef386de,

title = "A filtering technique for helping to solve sudoku problems",

abstract = "This paper highlights the current usability issues when solving Sudoku problems. This problem is a well-known puzzle game which consists in assigning numbers in a game board, commonly of 9 × 9 size. The board of the game is composed of 9 columns, 9 rows and 9 3 × 3 sub-grids; each one containing 9 cells with distinct integers from 1 to 9. A game is completed when all cells have a value assigned, and the previous constraints are satisfied. Some instances are very difficult to solve, to tackle this issue, we have used a filtering technique named Arc Consistency 3 (AC3) from the Constraint Programming domain. This algorithm has revealed which is much related to the strategies employed by users in order to solve the Sudoku instances, but in contrast, this technique is executed in a short time, offering a good resolution guide to the users. In general, filtering techniques make easier solving Sudoku puzzles, providing good information to users for this.",

keywords = "Arc consistency, Constraint programming, Sudoku",

author = "Ricardo Soto and Broderick Crawford and Cristian Galleguillos and Kathleen Crawford and Fernando Paredes",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 17th International Conference on Human Computer Interaction, HCI 2015 ; Conference date: 02-08-2015 Through 07-08-2015",

year = "2015",

doi = "10.1007/978-3-319-21380-4_102",

language = "English",

isbn = "9783319213798",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

pages = "598--603",

editor = "Constantine Stephanidis",

booktitle = "HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings",

}

Soto, R , Crawford, B, Galleguillos, C, Crawford, K & Paredes, F 2015, A filtering technique for helping to solve sudoku problems. in C Stephanidis (ed.), HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings. Communications in Computer and Information Science, vol. 528, Springer Verlag, pp. 598-603, 17th International Conference on Human Computer Interaction, HCI 2015, Los Angeles, United States, 2/08/15. https://doi.org/10.1007/978-3-319-21380-4_102

A filtering technique for helping to solve sudoku problems. / Soto, Ricardo ; Crawford, Broderick; Galleguillos, Cristian et al.
HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings. ed. / Constantine Stephanidis. Springer Verlag, 2015. p. 598-603 (Communications in Computer and Information Science; Vol. 528).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A filtering technique for helping to solve sudoku problems

AU - Soto, Ricardo

AU - Crawford, Broderick

AU - Galleguillos, Cristian

AU - Crawford, Kathleen

AU - Paredes, Fernando

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - This paper highlights the current usability issues when solving Sudoku problems. This problem is a well-known puzzle game which consists in assigning numbers in a game board, commonly of 9 × 9 size. The board of the game is composed of 9 columns, 9 rows and 9 3 × 3 sub-grids; each one containing 9 cells with distinct integers from 1 to 9. A game is completed when all cells have a value assigned, and the previous constraints are satisfied. Some instances are very difficult to solve, to tackle this issue, we have used a filtering technique named Arc Consistency 3 (AC3) from the Constraint Programming domain. This algorithm has revealed which is much related to the strategies employed by users in order to solve the Sudoku instances, but in contrast, this technique is executed in a short time, offering a good resolution guide to the users. In general, filtering techniques make easier solving Sudoku puzzles, providing good information to users for this.

AB - This paper highlights the current usability issues when solving Sudoku problems. This problem is a well-known puzzle game which consists in assigning numbers in a game board, commonly of 9 × 9 size. The board of the game is composed of 9 columns, 9 rows and 9 3 × 3 sub-grids; each one containing 9 cells with distinct integers from 1 to 9. A game is completed when all cells have a value assigned, and the previous constraints are satisfied. Some instances are very difficult to solve, to tackle this issue, we have used a filtering technique named Arc Consistency 3 (AC3) from the Constraint Programming domain. This algorithm has revealed which is much related to the strategies employed by users in order to solve the Sudoku instances, but in contrast, this technique is executed in a short time, offering a good resolution guide to the users. In general, filtering techniques make easier solving Sudoku puzzles, providing good information to users for this.

KW - Arc consistency

KW - Constraint programming

KW - Sudoku

UR - http://www.scopus.com/inward/record.url?scp=84951749835&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21380-4_102

DO - 10.1007/978-3-319-21380-4_102

M3 - Conference contribution

AN - SCOPUS:84951749835

SN - 9783319213798

T3 - Communications in Computer and Information Science

SP - 598

EP - 603

BT - HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings

A2 - Stephanidis, Constantine

PB - Springer Verlag

T2 - 17th International Conference on Human Computer Interaction, HCI 2015

Y2 - 2 August 2015 through 7 August 2015

ER -

Soto R , Crawford B, Galleguillos C, Crawford K, Paredes F. A filtering technique for helping to solve sudoku problems. In Stephanidis C, editor, HCI International 2015 – Posters Extended Abstracts - International Conference, HCI International 2015, Proceedings. Springer Verlag. 2015. p. 598-603. (Communications in Computer and Information Science). doi: 10.1007/978-3-319-21380-4_102

A filtering technique for helping to solve sudoku problems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this