Article ISI SCOPUS
AI COMMUNICATIONS  (2018)

Resizing cardinality constraints for MaxSAT

Acha, RA

Keywords: MaxSAT, cardinality encoding

Más información

Título según WOS: Resizing cardinality constraints for MaxSAT
Título según SCOPUS: Resizing cardinality constraints for MaxSAT
Título de la Revista: AI COMMUNICATIONS
Volumen: 31
Número: 4
Editorial: IOS Press
Fecha de publicación: 2018
Página de inicio: 355
Página final: 367
Idioma: English
DOI:

10.3233/AIC-180768
Notas: ISI, SCOPUS