2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)最新文献

筛选

英文中文

Towards an Automated Framework for Realizing Quantum Computing Solutions 迈向实现量子计算解决方案的自动化框架

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2022-10-26 DOI: 10.1109/ISMVL57333.2023.00035

Nils Quetschlich, Lukas Burgholzer, R. Wille

{"title":"Towards an Automated Framework for Realizing Quantum Computing Solutions","authors":"Nils Quetschlich, Lukas Burgholzer, R. Wille","doi":"10.1109/ISMVL57333.2023.00035","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00035","url":null,"abstract":"Quantum computing is fast evolving as a technology due to recent advances in hardware, software, as well as the development of promising applications. To use this technology for solving specific problems, a suitable quantum algorithm has to be determined, the problem has to be encoded in a form suitable for the chosen algorithm, it has to be executed, and the result has to be decoded. To date, each of these tedious and error-prone steps is conducted in a mostly manual fashion. This creates a high entry barrier for using quantum computing—especially for users with little to no expertise in that domain. In this work, we envision a framework that aims to lower this entry barrier by allowing users to employ quantum computing solutions in an automatic fashion. To this end, interfaces as similar as possible to classical solvers are provided, while the quantum steps of the workflow are shielded from the user as much as possible by a fully automated backend. To demonstrate the feasibility and usability of such a framework, we provide proof-of-concept implementations for two different classes of problems which are publicly available on GitHub (https://github.com/cda-tum/MQTProblemSolver) as part of the Munich Quantum Toolkit (MQT). By this, this work provides the foundation for a low-threshold approach realizing quantum computing solutions with no or only moderate expertise in this technology.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134335417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

An Inductive Construction for Many-Valued Coalgebraic Modal Logic 多值共代数模态逻辑的一个归纳构造

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2022-09-29 DOI: 10.1109/ISMVL57333.2023.00018

Chunyu Lin, C. Liau

引用次数: 0

首页上一页