MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability.

Zhao Xing Weixiong Zhang

Published in: Artif. Intell. (2005)

Keyphrases

maximum satisfiability
learning algorithm
optimal solution
computational complexity
dynamic programming
randomly generated
search space
simulated annealing
cost function
scheduling problem
metaheuristic
search strategy
temporal logic