Παρακολούθηση
András Salamon
András Salamon
University of St Andrews
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα st-andrews.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
MC Cooper, PG Jeavons, AZ Salamon
Artificial Intelligence 174 (9-10), 570-584, 2010
942010
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
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
212018
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 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
182019
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
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
142018
Techniques to achieve moderate alcohol levels in South African wine
A Salamon
Institute of Cape Wine Masters, 2006
142006
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
112020
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
102014
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
82021
Task graph performance bounds through comparison methods
AZ Salamon
University of the Witwatersrand, 2001
82001
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
52012
Towards a Model of Puzznic
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
arXiv preprint arXiv:2310.01503, 2023
22023
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
A graph transformation-based engine for the automated exploration of constraint models
C Stone, AZ Salamon, I Miguel
International Conference on Graph Transformation, 223-238, 2024
12024
Plotting: a case study in lifted planning with constraints
J Espasa, I Miguel, P Nightingale, AZ Salamon, M Villaret
Constraints 29 (1), 40-79, 2024
12024
Cross-paradigm modelling: A case study of Puzznic,”
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
ModRef, 2024
12024
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20