Dettaglio pubblicazione
2008, DISCRETE OPTIMIZATION, Pages 569-583 (volume: 5)
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (01a Articolo in rivista)
Bruni Renato, Andrea Santori
keywords