Login / Signup

Dolius: A Distributed Parallel SAT Solving Framework.

Gilles AudemardBenoît HoessenSaïd JabbourCédric Piette
Published in: POS@SAT (2014)
Keyphrases
  • search algorithm
  • sat solving
  • sat solvers
  • genetic algorithm
  • linear programming
  • propositional logic