Sign in
Diversified Top-k Partial MaxSAT Solving.
Junping Zhou
Huanyao Sun
Feifei Ma
Jian Gao
Ke Xu
Minghao Yin
Published in:
CoRR (2017)
Keyphrases
</>
combinatorial optimization
boolean optimization
branch and bound algorithm
upper bound
lower bound
artificial neural networks
metaheuristic
sat solvers
highly relevant