Publicações

Incremental Cardinality Constraints for Maxsat

AuthID
P-00G-2VG

Author(s)

Martins, R

Joshi, S

Manquinho, V

Lynce, I

Editor(es)

O'Sullivan,B

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8656, Páginas: 531-548

Conference

20Th International Conference on the Principles and Practice of Constraint Programming, Cp 2014, Date: 8 September 2014 through 12 September 2014, Location: Lyon, Patrocinadores: AIMMS;Artificial Intelligence Journal (Elsevier);Assoc. Francaise pour la Program. par Contraintes (AFPC);Association for Constraint Programming (ACP);Cadence;et al.

Indexing