Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract).

Jeremias Berg Fahiem Bacchus Alex Poole

Published in: IJCAI (2021)

Keyphrases

extended abstract
artificial intelligence
database
search engine
small number
combinatorial optimization
real time
information retrieval
computational complexity
upper bound
hierarchical structure
randomly generated