András Z. Salamon

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 17

Top Venues

CoRR

Theory Comput. Syst.

Constraints An Int. J.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Christopher Stone, András Z. Salamon, Ian Miguel
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models. ICGT (2024)
Ian Miguel, András Z. Salamon, Christopher Stone
Towards Exploratory Reformulation of Constraint Models. CoRR (2023)
Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Towards a Model of Puzznic. CoRR (2023)
András Z. Salamon, Michael Wehar
Effective Guessing Has Unlikely Consequences. Theory Comput. Syst. 67 (3) (2023)
Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Challenges in Modelling and Solving Plotting with PDDL. CoRR (2023)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
András Z. Salamon, Michael Wehar
Superlinear Lower Bounds Based on ETH. STACS (2022)
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Towards Reformulating Essence Specifications for Robustness. CoRR (2021)
András Z. Salamon, Michael Wehar
Effective guessing has unlikely consequences. CoRR (2021)
Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
Exploring Instance Generation for Automated Planning. CoRR (2020)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. CPAIOR (2020)
András Z. Salamon, Michael Wehar
Stronger Lower Bounds for Polynomial Time Problems. CoRR (2020)
Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. CP (2019)
Özgür Akgün, Nguyen Dang, Ian Miguel, András Z. Salamon, Christopher Stone
Instance Generation via Generator Instances. CP (2019)
Özgür Akgün, András Z. Salamon
Conjure Documentation, Release 2.3.0. CoRR (2019)
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter
A Framework for Constraint Based Local Search using Essence. IJCAI (2018)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. CP (2018)
András Z. Salamon
Transformations of representation in constraint satisfaction. Constraints An Int. J. 20 (4) (2015)
Egor V. Kostylev, Juan L. Reutter, András Z. Salamon
Classification of annotation semirings over containment of conjunctive queries. ACM Trans. Database Syst. 39 (1) (2014)
András Z. Salamon
Streaming bounds from difference ramification. Electron. Colloquium Comput. Complex. 19 (2012)
Egor V. Kostylev, Juan L. Reutter, András Z. Salamon
Classification of annotation semirings over query containment. PODS (2012)
Subramanian Ramamoorthy, András Z. Salamon, Rahul Santhanam
Macroscopes: models for collective decision making CoRR (2012)
David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon
The Tractability of CSP Classes Defined by Forbidden Patterns. J. Artif. Intell. Res. 45 (2012)
David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon
The tractability of CSP classes defined by forbidden patterns CoRR (2011)
Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron D. Sterling, Suresh Venkatasubramanian
Questions answered. in theory.: http://cstheory.stackexchange.com/. SIGACT News 41 (4) (2010)
Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination. Artif. Intell. 174 (9-10) (2010)
András Z. Salamon, Vashti Galpin
Bounds on series-parallel slowdown CoRR (2009)
Martin C. Cooper, Peter G. Jeavons, András Z. Salamon
Hybrid tractable CSPs which generalize tree structure. ECAI (2008)
András Z. Salamon, Peter G. Jeavons
Perfect Constraints Are Tractable. CP (2008)

András Z. Salamon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

András Z. Salamon