面向位向量理论的量子SMT求解器
计算机科学中的逻辑
2023-03-17 v1 量子物理
摘要
给定可满足性模理论（SMT）的公式，经典SMT求解器尝试（1）将抽象为布尔公式，（2）寻找的布尔解，以及（3）检验该布尔解是否与理论一致。步骤（2）与（3）可能需反复交替执行，直至找到一致解。本文中，我们开发了面向位向量理论的量子SMT求解器。借助量子系统的叠加特性，我们的求解器能够同时考虑所有输入，并一次性检验其在布尔域与理论域之间的一致性。
引用
@article{arxiv.2303.09353,
title = {A Quantum SMT Solver for Bit-Vector Theory},
author = {Shang-Wei Lin and Si-Han Chen and Tzu-Fan Wang and Yean-Ru Chen},
journal= {arXiv preprint arXiv:2303.09353},
year = {2023}
}