Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
Authors: Christoph Scholl and Ralf Wimmer
Paper Information
| Title: | Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications |
| Authors: | Christoph Scholl and Ralf Wimmer |
| Proceedings: | SAT Proceedings |
| Editors: | Christoph M. Wintersteiger and Olaf Beyersdorff |
| Keywords: | |
| Abstract: | |
| Pages: | 14 |
| Paper: |  |