Items where authors include "Salamon, András Z."

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

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.

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (3 more authors) (2018) Automatic discovery and exploitation of promising subproblems for tabulation. In: Hooker, John, (ed.) Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings:24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , Netherlands , pp. 3-12.

Akgun, Ozgur, Attieh, Saad Wasim A, Gent, Ian Philip et al. (6 more authors) (2018) A framework for constraint based local search using ESSENCE. In: Lang, Jérôme, (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. UNSPECIFIED. International Joint Conferences on Artificial Intelligence , pp. 1242-1248.

This list was generated on Sun Mar 24 16:33:38 2024 GMT.