- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Renato Bruni, Andrea Santori: New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability. Discrete Optimization 5(3): 569-583 (2008) |
| 2004 | ||
| 1 | | Renato Bruni, Andrea Santori: Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. SAT 2004 |
| 1 | Renato Bruni | [1] [2] |