{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:22:20Z","timestamp":1730208140642,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/cist.2018.8596454","type":"proceedings-article","created":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T18:23:45Z","timestamp":1546280625000},"page":"481-485","source":"Crossref","is-referenced-by-count":3,"title":["A Pure Hardware k-SAT Solver for FPGA"],"prefix":"10.1109","author":[{"given":"Khadija","family":"Bousmar","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"331","article-title":"Where the really hard problems are","volume":"91","author":"cheeseman","year":"1991","journal-title":"IJCAI"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-45657-0_2","article-title":"The Quest for Efficient Boolean Satisfiability Solvers","author":"zhang","year":"2002","journal-title":"CAV'02 of the 14th International Conference on Computer Aided Verification"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICM.2017.8268894"},{"key":"ref6","article-title":"The P versus NP complet","author":"cook","year":"2000","journal-title":"The P versus NP Problem"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2010.12.014"},{"key":"ref8","first-page":"499","article-title":"Solution of a 20-variable 3-SAT problem on a DNA computer. Science","volume":"296","author":"braich","year":"2002","journal-title":"Solution of a 20-variable 3-SAT problem on a"},{"key":"ref7","article-title":"The P versus NP complet","author":"cook","year":"2000","journal-title":"The P versus NP Problem"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2017.04.086"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICM.2015.7438045"},{"key":"ref1","article-title":"A novel approach of solving the CNF-SAT problem","volume":"abs 1307 6291","author":"wang","year":"2013","journal-title":"Computer Research Repository-CORR"}],"event":{"name":"2018 IEEE 5th International Congress on Information Science and Technology (CiSt)","start":{"date-parts":[[2018,10,21]]},"location":"Marrakech","end":{"date-parts":[[2018,10,27]]}},"container-title":["2018 IEEE 5th International Congress on Information Science and Technology (CiSt)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8575702\/8596320\/08596454.pdf?arnumber=8596454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T10:56:41Z","timestamp":1643281001000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8596454\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/cist.2018.8596454","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}