Andrs Z. Salamon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICTAI | Cross-Paradigm Modelling: A Study of Puzznic. | Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Mateu Villaret |
| 2022 | STACS | Superlinear Lower Bounds Based on ETH. | Andrs Z. Salamon, Michael Wehar |
| 2020 | CPAIOR | Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Patrick Spracklen, Christopher Stone |
| 2019 | CP | Instance Generation via Generator Instances. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Christopher Stone |
| 2019 | CP | Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. | Carlos Anstegui, Miquel Bofill, Jordi Coll, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Josep Suy, Mateu Villaret |
| 2018 | CP | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2012 | PODS | Classification of annotation semirings over query containment. | Egor V. Kostylev, Juan L. Reutter, Andrs Z. Salamon |
| 2008 | CP | Perfect Constraints Are Tractable. | Andrs Z. Salamon, Peter G. Jeavons |
| 2008 | ECAI | Hybrid tractable CSPs which generalize tree structure. | Martin C. Cooper, Peter G. Jeavons, Andrs Z. Salamon |