Items where authors include "Dang, Nguyen"

Proceedings Paper

Dang, Nguyen, Akgün, Özgür, Espasa, Joan et al. (2 more authors) (2022) A Framework for Generating Informative Benchmark Instances. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. LIPICS .

Ansótegui, Carlos, Bofill, Miquel, Coll, Jordi et al. (7 more authors) (2019) Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. In: Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. UNSPECIFIED. Springer , pp. 20-36.

Attieh, Saad Wasim A, Dang, Nguyen, Jefferson, Christopher et al. (2 more authors) (2019) Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 1056-1063.