{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T06:42:39Z","timestamp":1777358559711,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12,12]]},"DOI":"10.1145\/3789418.3789454","type":"proceedings-article","created":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:42:29Z","timestamp":1777106549000},"page":"290-295","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification of Controller Input Feasibility via AI Reasoning with SAT\/SMT Solvers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-4513-8778","authenticated-orcid":false,"given":"Yuto","family":"Hirose","sequence":"first","affiliation":[{"name":"Institute of Sciencec Tokyo, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3196-6433","authenticated-orcid":false,"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[{"name":"Institute of Sciencec Tokyo, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,4,25]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Armin Biere. 2008. PicoSAT Essentials. Journal on Satisfiability Boolean Modeling and Computation 4 2-4 (May 2008) 75\u201397. 10.3233\/SAT190039","DOI":"10.3233\/SAT190039"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1370042.1370050"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Arnaud Gotlieb. 2015. Constraint-Based Testing: An Emerging Trend in Software Testing. Advances in Computers 99 (2015) 67\u2013101. 10.1016\/S0065-2458(15)00034-0","DOI":"10.1016\/S0065-2458(15)00034-0"},{"key":"e_1_3_3_1_7_2","unstructured":"Jix. 2023. DIMACS CNF - Varisat Manual. https:\/\/jix.github.io\/varisat\/manual\/0.2.0\/formats\/dimacs.html. Accessed: 2025-07-28."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/11759744_2"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2011.17"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97281"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24598-8_38"}],"event":{"name":"ICACS 2025: The 9th International Conference on Algorithms, Computing and Systems","location":"Bangkok Thailand","acronym":"ICACS 2025"},"container-title":["Proceedings of the 9th International Conference on Algorithms, Computing and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3789418.3789454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T05:51:45Z","timestamp":1777355505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3789418.3789454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,12]]},"references-count":10,"alternative-id":["10.1145\/3789418.3789454","10.1145\/3789418"],"URL":"https:\/\/doi.org\/10.1145\/3789418.3789454","relation":{},"subject":[],"published":{"date-parts":[[2025,12,12]]},"assertion":[{"value":"2026-04-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}