Home » Publication » 14113

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma