Salamon, András Z.

3 publications

JAIR 2025 TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean

IJCAI 2018 A Framework for Constraint Based Local Search Using Essence Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, James Wetter

JAIR 2012 The Tractability of CSP Classes Defined by Forbidden Patterns David A. Cohen, Martin C. Cooper, Páidí Creed, Dániel Marx, András Z. Salamon