|  |  | 
| 2004 | ||
|---|---|---|
| 2 | EE | Morten Irgens, William S. Havens: On Selection Strategies for the DPLL Algorithm. Canadian Conference on AI 2004: 277-291 | 
| 2003 | ||
| 1 | Pedro Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Martí Sánchez: Current Approaches for Solving Over-Constrained Problems. Constraints 8(1): 9-39 (2003) | |
| 1 | Noureddine Bouhmala | [1] | 
| 2 | Taoufik Bouzoubaa | [1] | 
| 3 | William S. Havens | [2] | 
| 4 | Pedro Meseguer | [1] | 
| 5 | Martí Sánchez | [1] |