Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT
- Li, C.M.
- Manyà, F.
- Mohamedou, N.O.
- Planes, J.
Actas:
JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes
Año de publicación: 2008
Páginas: 287-295
Tipo: Aportación congreso