{"id":"https://openalex.org/W4394946987","doi":"https://doi.org/10.1109/ismvl68998.2026.00036","title":"A Framework to Formulate Pathfinding Problems for Quantum Computing","display_name":"A Framework to Formulate Pathfinding Problems for Quantum Computing","publication_year":2026,"publication_date":"2026-05-19","ids":{"openalex":"https://openalex.org/W4394946987","doi":"https://doi.org/10.1109/ismvl68998.2026.00036"},"language":"en","primary_location":{"id":"doi:10.1109/ismvl68998.2026.00036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl68998.2026.00036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2404.10820","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095777290","display_name":"Damian Rovara","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Damian Rovara","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082956135","display_name":"Nils Quetschlich","orcid":"https://orcid.org/0000-0002-4369-5207"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nils Quetschlich","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004214923","display_name":"Robert Wille","orcid":"https://orcid.org/0000-0002-4993-7860"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robert Wille","raw_affiliation_strings":["Technical University of Munich,Chair for Design Automation,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair for Design Automation,Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00129592,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"158","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pathfinding","display_name":"Pathfinding","score":0.9087273478507996},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.612595796585083},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5195872783660889},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.45954814553260803},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36535629630088806},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12908068299293518},{"id":"https://openalex.org/keywords/shortest-path-problem","display_name":"Shortest path problem","score":0.06691515445709229},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.050004422664642334}],"concepts":[{"id":"https://openalex.org/C25321074","wikidata":"https://www.wikidata.org/wiki/Q1969601","display_name":"Pathfinding","level":4,"score":0.9087273478507996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.612595796585083},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5195872783660889},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.45954814553260803},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36535629630088806},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12908068299293518},{"id":"https://openalex.org/C22590252","wikidata":"https://www.wikidata.org/wiki/Q1058754","display_name":"Shortest path problem","level":3,"score":0.06691515445709229},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.050004422664642334},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/ismvl68998.2026.00036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ismvl68998.2026.00036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2404.10820","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.10820","pdf_url":"https://arxiv.org/pdf/2404.10820","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2404.10820","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2404.10820","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2404.10820","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2404.10820","pdf_url":"https://arxiv.org/pdf/2404.10820","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1929973641","display_name":null,"funder_award_id":"101001318","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320327593","display_name":"Bundesministerium f\u00fcr Digitalisierung und Wirtschaftsstandort","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394946987.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4285687848","https://openalex.org/W4289994039","https://openalex.org/W4391130068","https://openalex.org/W2240526870","https://openalex.org/W3100156731","https://openalex.org/W2623016776","https://openalex.org/W1967962134","https://openalex.org/W3128311703"],"abstract_inverted_index":{"With":[0],"the":[1,20,59,74,81,132,162,200,209,213],"applications":[2],"of":[3,84,134,179],"quantum":[4,24,69,123,135],"computing":[5],"becoming":[6,32],"more":[7,9],"and":[8,159,165],"widespread,":[10],"finding":[11],"ways":[12],"that":[13,49,117,143,172],"allow":[14],"end":[15,214],"users":[16,108],"without":[17,127,148,211],"experience":[18],"in":[19,46,131,176],"field":[21,133],"to":[22,26,43,52,97,109,122,169,183,207,216],"apply":[23],"computers":[25],"solve":[27],"their":[28,111],"individual":[29],"problems":[30],"is":[31],"a":[33,95,170,177,194],"crucial":[34],"task.":[35],"However,":[36],"current":[37],"optimization":[38,70,126],"algorithms":[39,124],"require":[40],"problem":[41,113],"instances":[42,114],"be":[44,119,146,174,205],"posed":[45],"complex":[47],"formats":[48],"are":[50,157],"challenging":[51],"formulate,":[53],"even":[54],"for":[55,102,125],"experts.":[56],"In":[57,181],"particular,":[58],"Quadratic":[60],"Unconstrained":[61],"Binary":[62],"Optimization":[63,77],"(QUBO)":[64],"formalism":[65],"employed":[66],"by":[67],"many":[68],"algorithms,":[71],"such":[72],"as":[73],"Quantum":[75],"Approximate":[76],"Algorithm":[78],"(QAOA),":[79],"involves":[80],"mathematical":[82],"rewriting":[83],"constraints":[85],"under":[86],"strict":[87],"conditions.":[88],"To":[89],"facilitate":[90],"this":[91],"process,":[92],"we":[93,191],"propose":[94],"framework":[96,106,210],"automatically":[98],"generate":[99],"QUBO":[100,155],"formulations":[101,116,156],"pathfinding":[103],"problems.":[104],"This":[105],"allows":[107],"translate":[110],"specific":[112],"into":[115],"can":[118,144,173,204],"passed":[120],"directly":[121],"requiring":[128,149,212],"any":[129,218],"expertise":[130],"computing.":[136],"It":[137],"supports":[138],"three":[139],"different":[140],"encoding":[141],"schemes":[142],"easily":[145],"compared":[147],"manual":[150],"reformulation":[151,167],"efforts.":[152],"The":[153],"resulting":[154],"robust":[158],"efficient,":[160],"reducing":[161],"previously":[163],"tedious":[164],"error-prone":[166],"process":[168],"task":[171],"completed":[175],"matter":[178],"seconds.":[180],"addition":[182],"an":[184],"open-source":[185],"Python":[186],"package":[187],"available":[188],"on":[189],"https://github.com/munich-quantum-toolkit/problemsolver,":[190],"also":[192],"provide":[193],"graphical":[195],"user":[196,215],"interface":[197],"accessible":[198],"through":[199],"web":[201],"(https://munich-quantum-toolkit.github.io/problemsolver/),":[202],"which":[203],"used":[206],"operate":[208],"write":[217],"code.":[219]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}