Login / Signup

Abstract Cores in Implicit Hitting Set MaxSat Solving.

Jeremias BergFahiem BacchusAlex Poole
Published in: SAT (2020)
Keyphrases
  • databases
  • data mining
  • search engine
  • special case