Follow
András Salamon
Title
Cited by
Cited by
Year
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
MC Cooper, PG Jeavons, AZ Salamon
Artificial Intelligence 174 (9-10), 570-584, 2010
932010
The Tractability of CSP Classes Defined by Forbidden Patterns
DA Cohen, MC Cooper, P Creed, D Marx, AZ Salamon
Journal of Artificial Intelligence Research 45 (http://dx.doi.org/10.1613 …, 2012
402012
Perfect constraints are tractable
AZ Salamon, PG Jeavons
CP 2008: 14th International Conference on Principles and Practice of …, 2008
342008
Hybrid tractable CSPs which generalize tree structure
MC Cooper, PG Jeavons, AZ Salamon
ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008
212008
Automatic discovery and exploitation of promising subproblems for tabulation
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon
Principles and Practice of Constraint Programming: 24th International …, 2018
172018
Instance generation via generator instances
Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone
Principles and Practice of Constraint Programming: 25th International …, 2019
152019
Techniques to achieve moderate alcohol levels in South African wine
A Salamon
Institute of Cape Wine Masters, 2006
142006
Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints
C Ansótegui, M Bofill, J Coll, N Dang, JL Esteban, I Miguel, P Nightingale, ...
Principles and Practice of Constraint Programming: 25th International …, 2019
132019
A framework for constraint based local search using Essence
O Akgun, SWA Attieh, IP Gent, CA Jefferson, IJ Miguel, PW Nightingale, ...
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
132018
Classification of annotation semirings over containment of conjunctive queries
EV Kostylev, JL Reutter, AZ Salamon
ACM Transactions on Database Systems (TODS) 39 (1), 1-39, 2014
82014
Task graph performance bounds through comparison methods
AZ Salamon
University of the Witwatersrand, 2001
82001
Discriminating instance generation from abstract specifications: A case study with CP and MIP
Ö Akgün, N Dang, I Miguel, AZ Salamon, P Spracklen, C Stone
Integration of Constraint Programming, Artificial Intelligence, and …, 2020
72020
Using small muses to explain how to solve pen and paper puzzles
J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ...
arXiv preprint arXiv:2104.15040, 2021
52021
Classification of annotation semirings over query containment
EV Kostylev, JL Reutter, AZ Salamon
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2012
32012
Towards reformulating Essence specifications for robustness
Ö Akgün, AM Frisch, IP Gent, C Jefferson, I Miguel, P Nightingale, ...
arXiv preprint arXiv:2111.00821, 2021
22021
Macroscopes: models for collective decision making
S Ramamoorthy, AZ Salamon, R Santhanam
arXiv preprint arXiv:1204.3860, 2012
22012
Automatic tabulation in constraint models
Ö Akgün, IP Gent, C Jefferson, Z Kiziltan, I Miguel, P Nightingale, ...
arXiv preprint arXiv:2202.13250, 2022
12022
Exploring instance generation for automated planning
Ö Akgün, N Dang, J Espasa, I Miguel, AZ Salamon, C Stone
arXiv preprint arXiv:2009.10156, 2020
12020
Conjure Documentation, Release 2.3. 0
Ö Akgün, A Salamon
arXiv preprint arXiv:1910.00475, 2019
12019
Streaming bounds from difference ramification
AZ Salamon
Electronic Colloquium on Computational Complexity (ECCC) 19, 183, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20