Login / Signup

The MergeSat Solver.

Norbert Manthey
Published in: SAT (2021)
Keyphrases
  • database
  • tree search
  • quantified boolean formulas
  • data mining
  • search engine
  • sat solving