Sledovat
András Salamon
Název
Citace
Citace
Rok
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
MC Cooper, PG Jeavons, AZ Salamon
Artificial Intelligence 174 (9-10), 570-584, 2010
902010
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
372012
Perfect constraints are tractable
AZ Salamon, PG Jeavons
CP 2008: 14th International Conference on Principles and Practice of …, 2008
332008
Hybrid tractable CSPs which generalize tree structure
MC Cooper, PG Jeavons, AZ Salamon
ECAI 2008: 18th European Conference on Artificial Intelligence, 530-534, 2008
202008
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
162018
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
122018
Techniques to achieve moderate alcohol levels in South African wine
A Salamon
Institute of Cape Wine Masters, 2006
122006
Instance generation via generator instances
Ö Akgün, N Dang, I Miguel, AZ Salamon, C Stone
Principles and Practice of Constraint Programming: 25th International …, 2019
112019
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
102019
Task graph performance bounds through comparison methods
AZ Salamon
University of the Witwatersrand, 2001
82001
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
52014
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
42020
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
Conjure Documentation, Release 2.3. 0
Ö Akgün, A Salamon
arXiv preprint arXiv:1910.00475, 2019
12019
Streaming bounds from difference ramification.
AZ Salamon
Electron. Colloquium Comput. Complex. 19, 183, 2012
12012
Inherent Limitations on Parallel Program Performance
A Salamon, H Neishlos
University of the Witwatersrand, 1991
11991
Superlinear Lower Bounds Based on ETH
AZ Salamon, M Wehar
39th International Symposium on Theoretical Aspects of Computer Science …, 2022
2022
Automatic Tabulation in Constraint Models
Ö Akgün, IP Gent, C Jefferson, Z Kiziltan, I Miguel, P Nightingale, ...
arXiv preprint arXiv:2202.13250, 2022
2022
Effective guessing has unlikely consequences
AZ Salamon, M Wehar
arXiv preprint arXiv:2111.02138, 2021
2021
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20