{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T06:58:08Z","timestamp":1781247488660,"version":"3.54.1"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T00:00:00Z","timestamp":1779148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T00:00:00Z","timestamp":1779148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,19]]},"DOI":"10.1109\/ismvl68998.2026.00036","type":"proceedings-article","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T19:58:49Z","timestamp":1781207929000},"page":"158-164","source":"Crossref","is-referenced-by-count":0,"title":["A Framework to Formulate Pathfinding Problems for Quantum Computing"],"prefix":"10.1109","author":[{"given":"Damian","family":"Rovara","sequence":"first","affiliation":[{"name":"Technical University of Munich,Chair for Design Automation,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nils","family":"Quetschlich","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Chair for Design Automation,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Chair for Design Automation,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4236\/iim.2012.43010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/net.21628"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2004.06.040"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2011.10.011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3544585.3544600"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v24i1.7564"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v27i1.8592"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2307\/3008306"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00291-003-0153-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10878-014-9734-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL57333.2023.00035"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.2024.0587"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3149526.3149531"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3773656.3773669"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2014.00005"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-022-04634-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075\/99\/57004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-016-1032-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/DATE69613.2026.11539407"},{"key":"ref22","author":"Farhi","year":"2014","journal-title":"A quantum approximate optimization algorithm"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.58.5355"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-04-08-428"},{"key":"ref26","article-title":"Qubovert","author":"Iosue","year":"2020"},{"key":"ref27","article-title":"IBM decision optimization CPLEX modeling for python","year":"2023"},{"key":"ref28","year":"2023","journal-title":"Qiskit: An open-source framework for quantum computing"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.2023.0055"},{"key":"ref30","article-title":"NVIDIA cuOpt","year":"2025"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2093973.2094062"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1109\/QSW62656.2024.00013","article-title":"The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing","volume-title":"Int\u2019l Conf. on Quantum Software","author":"Wille"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.3.4.376"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab33c2"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3094280"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/QCE53715.2022.00036"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2108.12004"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-020-0278-0"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3571725"},{"key":"ref40","author":"Beverland","year":"2022","journal-title":"Assessing requirements to scale to practical quantum advantage"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3624062.3624211"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657074"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00036"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/QCE65121.2025.00079"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/QCE65121.2025.00070"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3773656.3773658"}],"event":{"name":"2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL)","location":"Sendai, Japan","start":{"date-parts":[[2026,5,19]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11555011\/11555977\/11556026.pdf?arnumber=11556026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T06:04:47Z","timestamp":1781244287000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11556026\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,19]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/ismvl68998.2026.00036","relation":{},"subject":[],"published":{"date-parts":[[2026,5,19]]}}}