András Salamon

Cited by

	All	Since 2016
Citations	213	95
h-index	7	6
i10-index	4	2

200420052006200720082009201020112012201320142015201620172018201920202 2 1 1 8 11 9 13 16 22 24 18 26 15 19 17

Co-authors

Peter JeavonsProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Martin CooperProfessor of Computer Science, IRIT, University of ToulouseVerified email at irit.fr
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Dániel MarxCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Dave CohenProfessor of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Páidí CreedBenvolent AIVerified email at benevolent.ai
Juan ReutterProfessor, Computer Science at Pontificia Universidad Católica de Chile & IMFD ChileVerified email at ing.puc.cl
Egor V. KostylevAssociate Professor, University of OsloVerified email at ifi.uio.no
Subramanian RamamoorthyProfessor of Robot Learning and Autonomy, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Rahul SanthanamUniversity of OxfordVerified email at cs.ox.ac.uk
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Mateu Villaret AuselleProf. Agregat, Universitat de GironaVerified email at ima.udg.edu
Carlos AnsóteguiUniversity of LleidaVerified email at diei.udl.cat
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu

András Salamon

University of St Andrews

Verified email at st-andrews.ac.uk - Homepage

computational complexity constraint satisfaction constraint programming theoretical computer science database theory


Title Sort by citations Sort by year Sort by 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	86	2010
Perfect constraints are tractable AZ Salamon, PG Jeavons CP 2008: 14th International Conference on Principles and Practice of …, 2008	32	2008
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	29	2012
Hybrid tractable CSPs which generalize tree structure MC Cooper, PG Jeavons, AZ Salamon ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008	17	2008
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	9	2018
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	8	2018
Task graph performance bounds through comparison methods AZ Salamon University of the Witwatersrand, 2001	8	2001
Techniques to achieve moderate alcohol levels in South African wine A Salamon Cape Wine Master Diploma, 2006	7	2006
Instance generation via generator instances Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone International Conference on Principles and Practice of Constraint …, 2019	6	2019
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	3	2014
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	2	2012
Macroscopes: models for collective decision making S Ramamoorthy, AZ Salamon, R Santhanam arXiv preprint arXiv:1204.3860, 2012	2	2012
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 International Conference on Integration of Constraint Programming …, 2020	1	2020
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, ... International Conference on Principles and Practice of Constraint …, 2019	1	2019
Streaming bounds from difference ramification. AZ Salamon Electronic Colloquium on Computational Complexity (ECCC) 19, 183, 2012	1	2012
Inherent Limitations on Parallel Program Performance A Salamon, H Neishlos University of the Witwatersrand, 1991	1	1991
Exploring Instance Generation for Automated Planning Ö Akgün, N Dang, J Espasa, I Miguel, AZ Salamon, C Stone arXiv preprint arXiv:2009.10156, 2020		2020
Stronger Lower Bounds for Polynomial Time Problems AZ Salamon, M Wehar arXiv preprint arXiv:2008.06805, 2020		2020
Conjure Documentation, Release 2.3. 0 Ö Akgün, A Salamon arXiv preprint arXiv:1910.00475, 2019		2019
Transformations of representation in constraint satisfaction AZ Salamon University of Oxford, 2013		2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors