C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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