Stergiou, Kostas

10 publications

IJCAI 2017 On Neighborhood Singleton Consistencies Anastasia Paparrizou, Kostas Stergiou

AAAI 2015 Strong Bounds Consistencies and Their Application to Linear Constraints Christian Bessiere, Anastasia Paparrizou, Kostas Stergiou

AAAI 2013 Extending STR to a Higher-Order Consistency Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou

AAAI 2012 An Efficient Higher-Order Consistency Algorithm for Table Constraints Anastasia Paparrizou, Kostas Stergiou

JAIR 2005 Binary Encodings of Non-Binary Constraint Satisfaction Problems: Algorithms and Experimental Results Kostas Stergiou, Nikos Samaras

IJCAI 2005 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent, Peter Nightingale, Kostas Stergiou

AAAI 2000 Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems Barbara M. Smith, Kostas Stergiou, Toby Walsh

AAAI 1999 Encodings of Non-Binary Constraint Satisfaction Problems Kostas Stergiou, Toby Walsh

IJCAI 1999 The Difference All-Difference Makes Kostas Stergiou, Toby Walsh

AAAI 1998 Backtracking Algorithms for Disjunctions of Temporal Constraints Kostas Stergiou, Manolis Koubarakis