QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem
arXiv:1801.02075v1Has Code
Originality Synthesis-oriented
AI Analysis
This is an incremental tool for logic programming, with no clear problem statement or impact described.
The paper introduces the QBM tool, which maps user-specified functions to programmable logic by generating QBF formulas, but it does not report any concrete results or numbers.
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.