Publications

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

AuthID
P-00G-SQW

Author(s)

Joshi, S

Martins, R

Manquinho, V

Editor(s)

Pesant, G

Document Type

Proceedings Paper

Year published

2015

Published

in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9255, Pages: 200-209 (10)

Conference

21St International Conference on the Principles and Practice of Constraint Programming (Cp), Date: AUG 31-SEP 04, 2015, Location: Cork, IRELAND, Sponsors: Associat Log Programming, European Coordinating Comm Artificial Intelligence, Insight Ctr Data Analyt, Sci Fdn Ireland, Springer, Univ Coll Cork

Indexing