A Hybrid Approach for the Sudoku Problem: Using Constraint Programming in Iterated Local Search
Sudoku is not only a popular puzzle but also an interesting and challenging constraint satisfaction problem. Therefore, automatic solving methods have been the subject of several publications in the past two decades. Although current methods provide good solutions for small-sized puzzles, larger ins...
Uloženo v:
| Vydáno v: | IEEE intelligent systems Ročník 32; číslo 2; s. 52 - 62 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Los Alamitos
IEEE
01.03.2017
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Témata: | |
| ISSN: | 1541-1672, 1941-1294 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Sudoku is not only a popular puzzle but also an interesting and challenging constraint satisfaction problem. Therefore, automatic solving methods have been the subject of several publications in the past two decades. Although current methods provide good solutions for small-sized puzzles, larger instances remain challenging. This article introduces a new local search technique based on the min-conflicts heuristic for Sudoku. Furthermore, the authors propose an innovative hybrid search technique that exploits constraint programming as a perturbation technique within the iterated local search framework. They experimentally evaluate their methods on challenging benchmarks for Sudoku and report improvements over state-of-the-art solutions. To show the generalizability of the proposed approach, they also applied their method on another challenging scheduling problem. The results show that the proposed method is also robust in another problem domain. |
|---|---|
| AbstractList | Sudoku is not only a popular puzzle but also an interesting and challenging constraint satisfaction problem. Therefore, automatic solving methods have been the subject of several publications in the past two decades. Although current methods provide good solutions for small-sized puzzles, larger instances remain challenging. This article introduces a new local search technique based on the min-conflicts heuristic for Sudoku. Furthermore, the authors propose an innovative hybrid search technique that exploits constraint programming as a perturbation technique within the iterated local search framework. They experimentally evaluate their methods on challenging benchmarks for Sudoku and report improvements over state-of-the-art solutions. To show the generalizability of the proposed approach, they also applied their method on another challenging scheduling problem. The results show that the proposed method is also robust in another problem domain. |
| Author | Musliu, Nysret Winter, Felix |
| Author_xml | – sequence: 1 givenname: Nysret surname: Musliu fullname: Musliu, Nysret email: musliu@dbai.tuwien.ac.at organization: Vienna Univ. of Technol., Vienna, Austria – sequence: 2 givenname: Felix surname: Winter fullname: Winter, Felix email: winter@dbai.tuwien.ac.at organization: Vienna Univ. of Technol., Vienna, Austria |
| BookMark | eNp1kDFPwzAQhS0EEm1hYmSxxIhS7NiJbbaqAlqpCKTS2XIcp3VJ4mI7Q_89iYoYkFjuTnff3em9MThvXWsAuMFoijESD6_L9TRFmE1TcQZGWFCc4FTQ877Ohjpn6SUYh7BHKCUI8xGQM7g4Ft6WcHY4eKf0DlbOw7gzcN2V7rOD794VtWke4SbYdgvnrg3RK9vGYbL1qmmGtm3hMhqvoinhymlVw7VRXu-uwEWl6mCuf_IEbJ6fPuaLZPX2spzPVokmlMWkqDJRcEN1gTnNK0VLoQvNmRaM5VQJnbOSVrREWYYrTPJ-mleEl4IRTXgfJ-DudLcX8dWZEOXedb7tX0rMOSE54elA4ROlvQvBm0pqG1W0rh0k1RIjOfgoex_l4KNMRb9z_2fn4G2j_PEf-vZEW2PML8k4Zzlh5BsmNn3d |
| CODEN | IISYF7 |
| CitedBy_id | crossref_primary_10_3390_math12193025 crossref_primary_10_1109_TG_2021_3081817 crossref_primary_10_1016_j_cie_2022_108430 crossref_primary_10_1016_j_eswa_2025_127710 crossref_primary_10_1109_TG_2023_3236490 crossref_primary_10_1109_TG_2019_2942773 crossref_primary_10_1016_j_asoc_2022_109919 crossref_primary_10_11121_ijocta_1432 |
| Cites_doi | 10.1109/ICCIT.2008.154 10.1007/s10732-007-9012-8 10.1016/j.eswa.2013.05.019 10.1007/978-3-540-75514-2_8 10.2172/1158805 10.1109/CEC.2008.4631350 10.1109/SBGAMES.2011.18 10.1016/j.ejor.2014.01.039 10.1155/2015/286354 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017 |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD E3H F2A JQ2 L7M L~C L~D |
| DOI | 10.1109/MIS.2017.29 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE/IET Electronic Library (IEL) (UW System Shared) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database Library & Information Sciences Abstracts (LISA) Library & Information Science Abstracts (LISA) ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Library and Information Science Abstracts (LISA) Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) (UW System Shared) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1941-1294 |
| EndPage | 62 |
| ExternalDocumentID | 10_1109_MIS_2017_29 7887637 |
| Genre | orig-research |
| GroupedDBID | -DZ .DC 0R~ 29I 4.4 5GY 5VS 6IK 77K 97E 9M8 AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGOD ACIWK AENEX AETIX AFOGA AGQYO AGSQL AHBIQ AIBXA AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ATWAV AZLTO BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ H~9 IEDLZ IFIPE IPLJI JAVBF KZ1 LAI M43 OCL PQQKQ PZZ RIA RIE RNI RNS RZB WH7 77I AAYXX CITATION 7SC 7SP 8FD E3H F2A JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c347t-bf59b8e4cb1846fa4d9cbc87c97764a9c67d4f4d0551f1369cb6f38d973c38973 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 11 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000399035400010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1541-1672 |
| IngestDate | Mon Jun 30 04:34:09 EDT 2025 Sat Nov 29 04:14:30 EST 2025 Tue Nov 18 22:11:59 EST 2025 Wed Aug 27 02:48:58 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c347t-bf59b8e4cb1846fa4d9cbc87c97764a9c67d4f4d0551f1369cb6f38d973c38973 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 1883363827 |
| PQPubID | 10583 |
| PageCount | 11 |
| ParticipantIDs | ieee_primary_7887637 proquest_journals_1883363827 crossref_citationtrail_10_1109_MIS_2017_29 crossref_primary_10_1109_MIS_2017_29 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-03-01 |
| PublicationDateYYYYMMDD | 2017-03-01 |
| PublicationDate_xml | – month: 03 year: 2017 text: 2017-03-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Los Alamitos |
| PublicationPlace_xml | – name: Los Alamitos |
| PublicationTitle | IEEE intelligent systems |
| PublicationTitleAbbrev | MIS |
| PublicationYear | 2017 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref13 ref14 stützle (ref10) 1997; 11 ref11 lópez-ibánez (ref12) 2011 ref8 ref7 simonis (ref2) 2005 ref9 takayuki (ref1) 2003; 86 ref4 ref3 ref5 lynce (ref6) 2006 |
| References_xml | – year: 2011 ident: ref12 article-title: The irace Package, Iterated Race for Automatic Algorithm Configuration publication-title: tech report TR/IRIDIA/2011-004IRIDIA – ident: ref3 doi: 10.1109/ICCIT.2008.154 – ident: ref7 doi: 10.1007/s10732-007-9012-8 – ident: ref4 doi: 10.1016/j.eswa.2013.05.019 – volume: 11 start-page: 14 year: 1997 ident: ref10 article-title: Lokale Suchverfahren für Constraint Satisfaction Probleme: Die Min Conflicts Heuristik und Tabu Search publication-title: Künstliche Intell – ident: ref8 doi: 10.1007/978-3-540-75514-2_8 – ident: ref13 doi: 10.2172/1158805 – ident: ref11 doi: 10.1109/CEC.2008.4631350 – year: 2006 ident: ref6 article-title: Sudoku as a SAT problem publication-title: Int Symp Artificial Intell Math – ident: ref9 doi: 10.1109/SBGAMES.2011.18 – volume: 86 start-page: 1052 year: 2003 ident: ref1 article-title: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles publication-title: IEICE Trans Fundamentals of Electronics Communications and Computer Sciences – start-page: 13 year: 2005 ident: ref2 article-title: Sudoku as a Constraint Problem publication-title: International Workshop on Modelling and Reformulating Constraint Satisfaction Problems – ident: ref14 doi: 10.1016/j.ejor.2014.01.039 – ident: ref5 doi: 10.1155/2015/286354 |
| SSID | ssj0023018 |
| Score | 2.2380037 |
| Snippet | Sudoku is not only a popular puzzle but also an interesting and challenging constraint satisfaction problem. Therefore, automatic solving methods have been the... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 52 |
| SubjectTerms | constraint programming Cost function Documents Heuristic Heuristic algorithms heuristic methods hybrid techniques Intelligent systems iterated local search min-conflicts heuristic Perturbation methods Programming Puzzles Scheduling Scheduling algorithms Search problems Searching Stochastic processes Sudoku Theory of constraints |
| Title | A Hybrid Approach for the Sudoku Problem: Using Constraint Programming in Iterated Local Search |
| URI | https://ieeexplore.ieee.org/document/7887637 https://www.proquest.com/docview/1883363827 |
| Volume | 32 |
| WOSCitedRecordID | wos000399035400010&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE/IET Electronic Library (IEL) (UW System Shared) customDbUrl: eissn: 1941-1294 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0023018 issn: 1541-1672 databaseCode: RIE dateStart: 20010101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8JAEJ0A8eBFVDSiaPbAyVhot0u3640YCSRISFDDrWn3IyFqMdCa-O_d3ZZ6kIu3pjtt2pndnZn2zTyALgsYIYnnO0JvfQ7RDtkJFZeOkJTqZIyH0rJEvE7pbBYul2xeg7uqFkZKacFnsmcO7b98sea5-VTWN8i3wKd1qFNKi1qtKrnSE9WWvQ2IIT6muKzF81zWf5osDIaL9mwc-et9LJ3Knz3YOpZR83-PdAxHZQCJhoXFT6Am01No7sgZULlWWxAN0fjblGOhYdk2HOn4FOl4Dy1ysX7L0bzgkrlHFjaADHWnJYzIzIgBbX2Y06sUTWznZSnQ1Dg-VCCUz-Bl9Pj8MHZKNgWH-4RmTqIGLNGq54lO6gIVE8F4wkPKdQQYkJjxgAqiiHB1DKU8P9CjgfJDwajPdVRD_XNopOtUXgDCXiAwU8r1REIwlTFmREkhcUy4i0XShtudliNetho3L_Ae2ZTDZZE2SWRMEmHWhm4l_Fl02Ngv1jLar0RKxbehszNfVK6-beQZBmW9sWB6uf-qKzg0ty2wZB1oZJtcXsMB_8pW282NnVg_41nMrw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fT8IwEL4gmuiLqGhEUfvAk3G4dWVdfSNGAhEICWh4a1h_JEQFA8zE_962G_ggL74t6y3b7tre3fbdfQA1FjFCkiD0pNn6PGIcshdroTypKDXJmIiVY4l47dJ-Px6P2aAAd5taGKWUA5-puj10__LlXKT2U9m9Rb5FId2B3QYhOMiqtTbplZmqrvCtQSz1McV5NV7gs_teZ2hRXLTuIslf_-MIVf7sws61tEr_e6gjOMxDSNTMbH4MBTU7gdKangHlq7UMvIna37YgCzXzxuHIRKjIRHxomMr5W4oGGZvMA3LAAWTJOx1lxMqOWNjWhz09naGO672sJOpa14cyjPIpvLSeRo9tL-dT8ERI6MpLdIMlRvkiMWldpCdEMpGImAoTA0ZkwkREJdFE-iaK0kEYmdFIh7FkNBQmrqHhGRRn85k6B4SDSGKmtR_IhGCqJpgRraTCEyJ8LJMK3K61zEXebNy-wDt3SYfPuDEJtybhmFWgthH-zHpsbBcrW-1vRHLFV6C6Nh_P19-SB5ZD2WwtmF5sv-oG9tujXpd3O_3nSziwt8iQZVUorhapuoI98bWaLhfXbpL9AK_1z_Y |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Hybrid+Approach+for+the+Sudoku+Problem%3A+Using+Constraint+Programming+in+Iterated+Local+Search&rft.jtitle=IEEE+intelligent+systems&rft.au=Musliu%2C+Nysret&rft.au=Winter%2C+Felix&rft.date=2017-03-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=1541-1672&rft.eissn=1941-1294&rft.volume=32&rft.issue=2&rft.spage=52&rft_id=info:doi/10.1109%2FMIS.2017.29&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1541-1672&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1541-1672&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1541-1672&client=summon |