András Salamon

Cited by

	All	Since 2020
Citations	327	114
h-index	10	7
i10-index	10	4

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420251 1 1 2 1 9 11 9 14 16 23 25 23 29 14 21 23 19 23 22 25 1

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Peter NightingaleSenior Lecturer, Department of Computer Science, University of YorkVerified email at york.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Martin CooperProfessor of Computer Science, IRIT, University of ToulouseVerified email at irit.fr
Peter JeavonsProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Christopher JeffersonUniversity of St AndrewsVerified email at st-andrews.ac.uk
Nguyen DangUniversity of St AndrewsVerified email at st-andrews.ac.uk
Mateu Villaret AuselleUniversitat de GironaVerified email at ima.udg.edu
Joan Espasa ArxerUniversity of St AndrewsVerified email at st-andrews.ac.uk
Juan ReutterProfessor, Computer Science at Pontificia Universidad Católica de Chile & IMFD ChileVerified email at ing.puc.cl
Patrick SpracklenUniversity of St AndrewsVerified 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í CreedbiomodalVerified email at biomodal.com
Egor V. KostylevAssociate Professor, University of OsloVerified email at ifi.uio.no
Carlos AnsóteguiUniversity of LleidaVerified email at diei.udl.cat
Miquel Bofill ArasaUniversitat de GironaVerified email at udg.edu
Jordi CollUniversitat de GironaVerified email at udg.edu
Michael WeharSwarthmore CollegeVerified email at swarthmore.edu

András Salamon

University of St Andrews

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

computational complexity constraint satisfaction constraint programming theoretical computer


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	94	2010
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	40	2012
Perfect constraints are tractable AZ Salamon, PG Jeavons CP 2008: 14th International Conference on Principles and Practice of …, 2008	34	2008
Hybrid tractable CSPs which generalize tree structure MC Cooper, PG Jeavons, AZ Salamon ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008	21	2008
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	20	2018
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	18	2019
Instance generation via generator instances Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone Principles and Practice of Constraint Programming: 25th International …, 2019	14	2019
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	14	2018
Techniques to achieve moderate alcohol levels in South African wine A Salamon Institute of Cape Wine Masters, 2006	14	2006
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	11	2020
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	9	2014
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	8	2021
Task graph performance bounds through comparison methods AZ Salamon University of the Witwatersrand, 2001	8	2001
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	5	2012
Towards a Model of Puzznic J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret arXiv preprint arXiv:2310.01503, 2023	2	2023
Towards reformulating Essence specifications for robustness Ö Akgün, AM Frisch, IP Gent, C Jefferson, I Miguel, P Nightingale, ... arXiv preprint arXiv:2111.00821, 2021	2	2021
Macroscopes: models for collective decision making S Ramamoorthy, AZ Salamon, R Santhanam arXiv preprint arXiv:1204.3860, 2012	2	2012
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	1	2024
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	1	2024
Cross-paradigm modelling: A case study of Puzznic,” J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret ModRef, 2024	1	2024

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

Follow

Cited by

Co-authors