QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem.

Thomas B. Preußer

Published in: CoRR (2018)

Keyphrases

satisfiability problem
programmable logic
np complete
temporal logic
sat problem
conjunctive normal form
search algorithm
stochastic local search algorithms
phase transition
stochastic local search
sat instances
special case