András Salamon
TitleCited byYear
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
MC Cooper, PG Jeavons, AZ Salamon
Artificial Intelligence 174 (9-10), 570-584, 2010
802010
Perfect constraints are tractable
AZ Salamon, PG Jeavons
CP 2008: 14th International Conference on Principles and Practice of …, 2008
312008
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
282012
Hybrid tractable CSPs which generalize tree structure
MC Cooper, PG Jeavons, AZ Salamon
ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008
162008
Task graph performance bounds through comparison methods
AZ Salamon
University of the Witwatersrand, 2001
82001
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
52018
Automatic discovery and exploitation of promising subproblems for tabulation
Ö Akgün, IP Gent, C Jefferson, I Miguel, P Nightingale, AZ Salamon
International Conference on Principles and Practice of Constraint …, 2018
42018
Techniques to achieve moderate alcohol levels in South African wine
A Salamon
Cape Wine Master Diploma, 2006
42006
Implementation of a database system with Boolean algebra constraints
A Salamon
31998
Classification of annotation semirings over containment of conjunctive queries
EV Kostylev, JL Reutter, AZ Salamon
ACM Transactions on Database Systems (TODS) 39 (1), 1, 2014
22014
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
22012
Macroscopes: models for collective decision making
S Ramamoorthy, AZ Salamon, R Santhanam
arXiv preprint arXiv:1204.3860, 2012
22012
Streaming bounds from difference ramification.
AZ Salamon
Electronic Colloquium on Computational Complexity (ECCC) 19, 183, 2012
12012
Inherent Limitations on Parallel Program Performance
A Salamon, H Neishlos
University of the Witwatersrand, 1991
11991
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, IJ Miguel, P Nightingale, ...
Proceedings of the 25th International Conference on Principles and Practice …, 2019
2019
Transformations of representation in constraint satisfaction
AZ Salamon
University of Oxford, 2013
2013
Questions answered. in theory.: http://cstheory. stackexchange. com
D Clarke, D Eppstein, K Ghasemloo, L Reyzin, A Salamon, P Shor, ...
ACM SIGACT News 41 (4), 58-60, 2010
2010
Overview of thesis: Transformations of representation in constraint satisfaction
AZ Salamon
The 16th International Conference on Principles and Practice of Constraint …, 2010
2010
Performance loss between concept and keyboard
AZ Salamon, V Galpin
EC^2 2010, 2010
2010
Bounds on series-parallel slowdown
AZ Salamon, V Galpin
Arxiv preprint arXiv:0904.4512, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20