迈向并行布尔函数综合
计算机科学中的逻辑
2017-03-07 v1
摘要
给定一个关系规范 ，其中 和 是输入和输出变量序列，我们希望将每个输出综合为输入的函数，使得规范成立。这被称为布尔函数综合问题，并在多个领域有应用。在本文中，我们提出了解决该问题的首个并行方法，使用组合推理与 CEGAR 式推理作为关键构建块。我们通过大量实验表明，我们的方法在大量基准测试上优于现有工具。
引用
@article{arxiv.1703.01440,
title = {Towards Parallel Boolean Functional Synthesis},
author = {S. Akshay and Supratik Chakraborty and Ajith K. John and Shetal Shah},
journal= {arXiv preprint arXiv:1703.01440},
year = {2017}
}
备注
Long version of conference paper in TACAS 2017