Login / Signup
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