Boolean Functional Synthesis and its Applications
Authors: Priyanka Golia, Subhajit Roy and Kuldeep S. Meel
Paper Information
| Title: | Boolean Functional Synthesis and its Applications |
| Authors: | Priyanka Golia, Subhajit Roy and Kuldeep S. Meel |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | QBF, DQBF, program synthesis |
| Pages: | 9 |
| Talk: | Aug 01 16:20 (Session 37R: Doctoral Program) |
| Paper: |  |