Large Neighbourhood Search for Anytime MaxSAT Solving.

Randy Hickey Fahiem Bacchus

Published in: IJCAI (2022)

Keyphrases

combinatorial optimization
neighbourhood search
upper bound
expert systems
real world
information retrieval
artificial intelligence
knowledge base
heuristic search
solving problems