{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:22:09Z","timestamp":1725736929424},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/fpt.2010.5681460","type":"proceedings-article","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T09:09:43Z","timestamp":1294391383000},"page":"465-469","source":"Crossref","is-referenced-by-count":4,"title":["Solving Sudokus through an incidence matrix on an FPGA"],"prefix":"10.1109","author":[{"given":"Michael","family":"Dittrich","sequence":"first","affiliation":[]},{"given":"Thomas B.","family":"Preusser","sequence":"additional","affiliation":[]},{"given":"Rainer G.","family":"Spallek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2009.5377606"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2009.5377608"},{"journal-title":"An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem","year":"2006","key":"ref12"},{"journal-title":"A Guess-Free Sudoku Solver","year":"2008","author":"mailer","key":"ref13"},{"journal-title":"Minisat 2 beta","year":"2010","author":"e\u00e9n","key":"ref14"},{"article-title":"A parallel programming approach to solve the exact cover problem","year":"0","author":"kadir","key":"ref4"},{"key":"ref3","article-title":"Dancing links","author":"knuth","year":"2000","journal-title":"Millenial Perspectives in Computer Science"},{"key":"ref6","article-title":"Sudoku as a sat problem","author":"lynce","year":"2006","journal-title":"9th Symposium on Artificial Intelligence and Mathematics"},{"key":"ref5","article-title":"A sudoku solver in java implementing knuth's dancing links algorithm","author":"chu","year":"2006","journal-title":"The first Harker Research Symposium"},{"key":"ref8","article-title":"Sudoku as a constraint problem","author":"simonis","year":"2005","journal-title":"Proc 4th Int'l Workshop Modeling and Reformulating Constrained Satisfaction Problems"},{"key":"ref7","first-page":"11","article-title":"A SAT-based Sudoku solver","author":"weber","year":"2005","journal-title":"LPAR-12 The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning Short Paper Proceedings"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"journal-title":"Complexity and Completeness of Finding Another Solution and its Application to Puzzles","year":"2003","author":"yato","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2009.5377605"}],"event":{"name":"2010 International Conference on Field-Programmable Technology (FPT)","start":{"date-parts":[[2010,12,8]]},"location":"Beijing, China","end":{"date-parts":[[2010,12,10]]}},"container-title":["2010 International Conference on Field-Programmable Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5677390\/5681421\/05681460.pdf?arnumber=5681460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T00:27:49Z","timestamp":1490056069000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5681460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/fpt.2010.5681460","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}