A Scalable Approach to Exact Resource-Constrained Scheduling Based on a Joint SDC and SAT Formulation.

Steve Dai Gai Liu Zhiru Zhang

Published in: FPGA (2018)

Keyphrases

satisfiability problem
sat solvers
phase transition
stochastic local search
genetic programming
learning algorithm
constraint satisfaction
sat problem