DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving.

Anastasios Kyrillidis Moshe Y. Vardi Zhiwei Zhang

Published in: CoRR (2022)

Keyphrases

combinatorial optimization
eigenvalue problems
high level
upper bound
feature extraction
branch and bound algorithm
symbolic representation
exact solution
solving problems
search algorithm
denoising
connectionist models