WPM3: An (in)complete algorithm for weighted partial MaxSAT

  1. Ansótegui, C.
  2. Gabàs, J.
Revista:
Artificial Intelligence

ISSN: 0004-3702

Año de publicación: 2017

Volumen: 250

Páginas: 37-57

Tipo: Artículo

DOI: 10.1016/J.ARTINT.2017.05.003 GOOGLE SCHOLAR lock_openAcceso abierto editor

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus