Local Search Algorithms for Partial MAXSAT.

Byungki Cha Kazuo Iwama Yahiko Kambayashi Shuichi Miyazaki

Published in: AAAI/IAAI (1997)

Keyphrases

search algorithm
upper bound
branch and bound
search tree
heuristic search
path finding
sat solvers
combinatorial optimization
branch and bound algorithm
website
satisfiability problem
search methods
graph search
real time
search strategies
multiscale
social networks
real world
neural network
data sets