"Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints."

Soukaina Hattad et al. (2017)

Details and statistics

DOI: 10.5220/0006252502990307

access: closed

type: Conference or Workshop Paper

metadata version: 2018-11-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics