Publications

Representative Encodings to Translate Finite Csps into Sat

AuthID
P-009-JKY

Author(s)

Barahona, P

Holldobler, S

Nguyen, VH

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8451 LNCS, Pages: 251-267

Conference

11Th International Conference on the Integration of Artificial Intelligence (Ai) and Operations Research (Or) Techniques in Constraint Programming, Cpaior 2014, Date: 19 May 2014 through 23 May 2014, Location: Cork

Indexing