Project:
- Chu Min Li, Felip Many, and Jordi Planes, New Inference Rules for Max-SAT,
Technical Report, 2007, PDF.
- Yong Gao and Joseph Culberson, Consistency and Random Constraint
Satisfaction Models, Journal of Artificial Intelligence
Research, 2006, PDF.
- J. Larrosa, F. Heras & S. de Givry. A Logical Approach
to Efficient Max-SAT Solving. Artificial Intelligence. An International
Journal. (In press).
PDF
- 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
- Papers from CP-2006 link: http://www.sciences.univ-nantes.fr/cp06/
- A.Meisels & Roie Zivan, Asynchronous Forward Checking
for DisCSPs , Constraints Journal 2005. PDF
|
