QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem
Abstract
This is a brief overview on the background behind the test set formulas generated by the QBM tool. After establishing its application context, its formal approach to the generation of QBF formulas and the concrete test set formulas are described. Finally, some related work will be credited and the source to obtain the open-source tool will be identified.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2018
- DOI:
- 10.48550/arXiv.1801.02075
- arXiv:
- arXiv:1801.02075
- Bibcode:
- 2018arXiv180102075P
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Software Engineering
- E-Print:
- Instance in Prenex CNF Track of QBFEVAL'17 competition: http://www.qbflib.org/family_detail.php?idFamily=775