{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T02:52:18Z","timestamp":1767149538971,"version":"3.48.0"},"reference-count":19,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2026,1,2]]},"DOI":"10.1080\/17445760.2024.2441215","type":"journal-article","created":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T23:31:27Z","timestamp":1734046287000},"page":"69-88","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":1,"title":["Effectively encoding satisfiability problems into Ising models for quantum annealing"],"prefix":"10.1080","volume":"41","author":[{"given":"Xiaotian","family":"Li","sequence":"first","affiliation":[{"name":"Hiroshima University","place":["Hiroshima, Japan"]}]},{"given":"Koji","family":"Nakano","sequence":"additional","affiliation":[{"name":"Hiroshima University","place":["Hiroshima, Japan"]}]},{"given":"Victor","family":"Parque","sequence":"additional","affiliation":[{"name":"Hiroshima University","place":["Hiroshima, Japan"]}]},{"given":"Yasuaki","family":"Ito","sequence":"additional","affiliation":[{"name":"Hiroshima University","place":["Hiroshima, Japan"]}]},{"given":"Takumi","family":"Kato","sequence":"additional","affiliation":[{"name":"NTT DATA Group Corporation","place":["Tokyo, Japan"]}]},{"given":"Yuya","family":"Kawamata","sequence":"additional","affiliation":[{"name":"NTT DATA Group Corporation","place":["Tokyo, Japan"]}]},{"given":"Kaiki","family":"li","sequence":"additional","affiliation":[{"name":"NTT DATA Group Corporation","place":["Tokyo, Japan"]}]}],"member":"301","published-online":{"date-parts":[[2024,12,12]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"e_1_3_2_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090"},{"key":"e_1_3_2_4_1","unstructured":"Kurin V Godil S Whiteson S et\u00a0al. Improving SAT solver heuristics with graph networks and reinforcement learning; 2019."},{"key":"e_1_3_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_43"},{"key":"e_1_3_2_6_1","unstructured":"Lin H Su K Li CM. Within-problem learning for efficient lower bound computation in Max-SAT solving. In: Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI). Vol. 1; 2008. p. 351\u2013356."},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15396-9_17"},{"key":"e_1_3_2_8_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2347"},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.07.006"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2019.2908836"},{"key":"e_1_3_2_11_1","volume-title":"The D-wave advantage system: an overview","author":"McGeoch C","year":"2020","unstructured":"McGeoch C, Farr\u00e9 P. The D-wave advantage system: an overview. Burnaby: D-Wave Systems Inc; 2020."},{"key":"e_1_3_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3050449"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2024.2376928"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/srep37107"},{"key":"e_1_3_2_15_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12163492"},{"key":"e_1_3_2_16_1","unstructured":"M\u00fcnch C Schinkel F Zielinski S et\u00a0al. Transformation-dependent performance-enhancement of digital annealer for 3-SAT; 2023. Available from: arXivpreprintarXiv:2312.11645"},{"key":"e_1_3_2_17_1","unstructured":"Sanyal S. Reduction from SAT to 3SAT; 2018. Available from: https:\/\/cse.iitkgp.ac.in\/palash\/2018AlgoDesignAnalysis\/SAT-3SAT.pdf"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10288-019-00424-y"},{"key":"e_1_3_2_19_1","unstructured":"Gurobi Optimization; 2024. Available from: https:\/\/www.gurobi.com\/"},{"key":"e_1_3_2_20_1","unstructured":"MaxSAT Evaluation 2023; 2023. Available from: https:\/\/maxsat-evaluations.github.io\/2023\/index.html"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760.2024.2441215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T02:41:30Z","timestamp":1767148890000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/17445760.2024.2441215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,12]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1,2]]}},"alternative-id":["10.1080\/17445760.2024.2441215"],"URL":"https:\/\/doi.org\/10.1080\/17445760.2024.2441215","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2024,12,12]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=gpaa20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2024-10-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-12-08","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-12-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}