Given a relational specification ϕ(X, Y), where X and Y are sequences of input and output variables, we wish to synthesize each output as a function of the inputs such that the specification holds. This is called the Boolean functional synthesis problem and has applications in several areas. In this paper, we present the first parallel approach for solving this problem, using compositional and CEGAR-style reasoning as key building blocks. We show by means of extensive experiments that our approach outperforms existing tools on a large class of benchmarks.
CITATION STYLE
Akshay, S., Chakraborty, S., John, A. K., & Shah, S. (2017). Towards parallel boolean functional synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10205 LNCS, pp. 337–353). Springer Verlag. https://doi.org/10.1007/978-3-662-54577-5_19
Mendeley helps you to discover research relevant for your work.