Lugar de publicación
- Resizing cardinality constraints for MaxSAT. 31(4):355-367. 2018
- Improving IntSat by expressing disjunctions of bounds as linear constraints. 29(1):205-209. 2016
AI COMMUNICATIONS
Revista
Visión General
Identidad
Número Internacional Normalizado de Publicaciones Seriadas (ISSN)
- 0921-7126