Encoding Max-CSP into partial Max-SAT

  1. Argelich, J.
  2. Cabiscol, A.
  3. Lynce, I.
  4. Manyà, F.
Actas:
Proceedings of The International Symposium on Multiple-Valued Logic

ISSN: 0195-623X

ISBN: 9780769531557

Año de publicación: 2008

Páginas: 106-111

Tipo: Aportación congreso

DOI: 10.1109/ISMVL.2008.22 GOOGLE SCHOLAR