András Salamon

Cited by

	All	Since 2019
Citations	316	124
h-index	10	7
i10-index	10	5

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

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Özgür AkgünSenior Lecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Peter NightingaleUniversity of YorkVerified email at york.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	19	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	16	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
Techniques to achieve moderate alcohol levels in South African wine A Salamon Institute of Cape Wine Masters, 2006	14	2006
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	13	2018
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	10	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
Task graph performance bounds through comparison methods AZ Salamon University of the Witwatersrand, 2001	8	2001
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	7	2021
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	4	2012
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
Streaming bounds from difference ramification AZ Salamon Electronic Colloquium on Computational Complexity (ECCC) 19, 183, 2012	2	2012
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
Towards exploratory reformulation of constraint models I Miguel, AZ Salamon, C Stone arXiv preprint arXiv:2311.11868, 2023	1	2023
Superlinear Lower Bounds Based on ETH AZ Salamon, M Wehar 39th International Symposium on Theoretical Aspects of Computer Science …, 2022	1	2022

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