1. 2000 . Proc. of AAAI 2000 , Austin , Texas , USA . AAAI Press/The MIT Press .
2. Constraint satisfaction from a deductive viewpoint
3. Cadoli , M. and T. Mancini . 2003 . Detecting and breaking symmetries on specifications . In Proc. of SymCon, in conj. with CP 2003 , pages 13 – 26 , Kinsale , Ireland .
4. Cadoli , M. and T. Mancini . 2004a . Automated reformulation of specifications by safe delay of constraints . In Proc. of KR 2004 , pages 388 – 398 , Whistler , BC , Canada . AAAI Press/The MIT Press .
5. Cadoli , M. and T. Mancini . 2004b . Exploiting functional dependencies in declarative problem specifications . In Proc. of JELIA 2004, LNAI , Volume 3229 , 628 – 640 . Springer , New York , USA .