Clause Branching in MaxSAT and MinSAT

  1. Argelich, J.
  2. Li, C.M.
  3. Manyà, F.
  4. Soler, J.R.
Colección de libros:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781614999171

Año de publicación: 2018

Volumen: 308

Páginas: 17-26

Tipo: Aportación congreso

DOI: 10.3233/978-1-61499-918-8-17 GOOGLE SCHOLAR
Fuente de los datos: Scopus