Articles with public access mandates - András SalamonLearn more
Available somewhere: 10
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
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
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
Mandates: UK Engineering and Physical Sciences Research Council, Government of Spain
Instance generation via generator instances
Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone
Principles and Practice of Constraint Programming: 25th International …, 2019
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
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
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council
Cross-paradigm modelling: A case study of Puzznic,”
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
ModRef, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Cross-Paradigm Modelling: A Study of Puzznic
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
2024 IEEE 36th International Conference on Tools with Artificial …, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Effective guessing has unlikely consequences
AZ Salamon, M Wehar
Theory of Computing Systems 67 (3), 548-568, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program