| |
| 2001 | ||
|---|---|---|
| 1 | EE | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363 |
| 1 | Enrico Giunchiglia | [1] |
| 2 | Marco Maratea | [1] |
| 3 | Armando Tacchella | [1] |