A Novel Algorithm for Max Sat Calling MOCE to Order.

Daniel Berend Shahar Golan Yochai Twitto

Published in: COCOA (2021)

Keyphrases

learning algorithm
neural network
objective function
computational complexity
cost function
optimal solution
data structure
search space
information retrieval
simulated annealing
combinatorial optimization
branch and bound algorithm
randomly generated
exact algorithms
maximum satisfiability