[an error occurred while processing this directive]

ICS-275, Constraint Networks, Spring 2007
main | homework | readings | slides


  1. Chu Min Li, Felip Many, and Jordi Planes, New Inference Rules for Max-SAT, Technical Report, 2007, PDF.
  2. Yong Gao and Joseph Culberson, Consistency and Random Constraint Satisfaction Models, Journal of Artificial Intelligence Research, 2006, PDF.
  3. J. Larrosa, F. Heras & S. de Givry. A Logical Approach to Efficient Max-SAT Solving. Artificial Intelligence. An International Journal. (In press). PDF
  4. Dechter, R., "On the expressiveness of networks with hidden variables." In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), July 1990, Boston, MA, pp. 556-562.  PDF
  5. Papers from CP-2006 link: http://www.sciences.univ-nantes.fr/cp06/
  6. A.Meisels & Roie Zivan, Asynchronous Forward Checking for DisCSPs , Constraints Journal 2005. PDF