- Walsh, Toby (11)
- Bacchus, Fahiem (3)
- Giunchiglia, Enrico (2)
- Giunchiglia, Enrico; Walsh, Toby (2)
- Kanade, Takeo (2)
- SAT 2005 (2)
- Biere, Armin (1)
- CP 2001 (1)
- Choueiry, Berthe Y. (1)
- Choueiry, Berthe Y. 1963- (1)
- Gaspers (1)
- Heule, Marijn (1)
- International Conference on Principles and Practice of Constraint Programming (1)
- International Conference on Theory and Applications of Satisfiability Testing (1)
- Kittler, Josef (1)
- Maaren, Hans van (1)
- SARA (1)
- SARA 2000 (1)