Items where authors include "Ansótegui, Carlos"

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

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.

This list was generated on Sat Mar 23 04:39:14 2024 GMT.