Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers

  1. Li, C.M.
  2. Manyà, F.
  3. Planes, J.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783540292388

Año de publicación: 2005

Volumen: 3709 LNCS

Páginas: 403-414

Tipo: Aportación congreso

DOI: 10.1007/11564751_31 GOOGLE SCHOLAR
Fuente de los datos: Scopus