Login / Signup

New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability.

Renato BruniAndrea Santori
Published in: Discret. Optim. (2008)
Keyphrases