![]() | ![]() |
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] |