András Z. Salamon

34 papers A* 2A 6B 3Journal 22

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