1. A. Armando, C. Castellini, E. Giunchiglia, SAT-based procedures for temporal reasoning, in: Proceedings of the 5th European Conference on Planning (ECP 1999), 1999, pp. 97–108.
2. T. Balafoutis, K. Stergiou, On conflict-driven variable ordering heuristics, in: Proceedings of the ERCIM workshop on Constraint Solving and Constraint Logic Programming (CSCLP-2008), 2008.
3. C. Barrett, L. de Moura, A. Stump, SMT-COMP: Satisfiability modulo theories competition, in: Proceedings of the 17th International Conference on Computer Aided Verification (CAV 2005), 2005, pp. 20–23.
4. P. Berry, M. Gervasio, B. Peintner, N. Yorke-Smith, The design of a user-centric scheduling system for multi-faceted real-world problems, in: Proceedings of ICAPSʼ07 Workshop on Moving Planning and Scheduling Systems Into the Real World, 2007.
5. P. Berry, M. Gervasio, B. Peintner, N. Yorke-Smith, A preference model for over-constrained meeting requests, in: Proceedings of AAAI 2007 Workshop on Preference Handling for Artificial Intelligence, 2007.