Publications


2015

·         C. Bessiere, A. Paparrizou, K. Stergiou Strong Bounds Consistencies and Their Application to Linear Constraints.  In Proceedings of AAAI-2015

·         K. Stergiou Restricted Path Consistency Revisited In Proceedings of CP-2015

·         A. Paparrizou, K. Stergiou  Strong Local Consistency Algorithms for Table Constraints Constraints (to appear)

2014

·         M. Dasigenis, K. Stergiou Building Portfolios for Parallel Constraint Solving by Varying the Local Consistency Applied In Proceedings of the ICTAI-2014 track on SAT/CSP

2013

·         C. Lecoutre, A. Paparrizou, K. Stergiou Extenfing STR to a Higher-Order Consistency In Proceedings of AAAI-2013

2012

·         A. Paparrizou, K. Stergiou An Efficient Higher-Order Consistency Algorithm for Table Constraints In Proceedings of AAAI-2012

·         A. Paparrizou, K. Stergiou Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation In Proceedings of ICTAI-2012

·         A. Paparrizou, K. Stergiou Extending Generalized Arc Consistency In Proceedings of SETN-2012 (to appear)

·         Karagiannis, G. Vouros, K. Stergiou, N. Samaras Overlay networks for Task Allocation and Coordination in Large-scale Networks of Cooperative Agents Autonomous Agents and Multi-Agent Systems (JAAMAS) 24(1): 26-68 (2012)

2011

·         T. Balafoutis, A. Paparrizou, K. Stergiou, T. Walsh New algorithms for max restricted path consistency Constraints  16(4): 372-406 (2011)

2010

·         T. Balafoutis & K. Stergiou Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs Fundamenta Informaticae 102(3-4):229-261, 2010

·         T. Balafoutis & K. Stergiou Adaptive Branching for Constraint Satisfaction Problems In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), 855-860, 2010.

·         T. Balafoutis, A. Paparrizou, K. Stergiou, T. Walsh Improving the Performance of maxRPC In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010), 69-83, 2010. 

·         T. Balafoutis, A. Paparrizou, K. Stergiou Experimental Evaluation of Branching Schemes for the CSP In Proceedings of 2010 TRICS, 3rd Workshop on Techniques for Implementing Constraint Programming Systems (in conjunction with CP 2010), 2010. 

·         T. Balafoutis & K. Stergiou Conflict Directed Variable Selection Strategies for Constraint Satisfaction Problems In Proceedings of the 6th Hellenic National Conference on AI (SETN-2010) LNAI 6040, 2010

2009

·         K. Stergiou Heuristics for Dynamically Adapting Propagation in Constraint Satisfaction Problems AI Communications Vol. 22(3):125-141, 2009

·         E. Stamatatos & K. Stergiou Learning How to Propagate Using Random Probing In Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2009),  263-278

2008

·         K. Stergiou Strong Domain Filtering Consistencies for Non-Binary Constraint Satisfaction Problems International Journal on Artificial Intelligence Tools 17(5): 781-802 (2008)

·         T. Balafoutis & K. Stergiou Exploiting Constraint Weights for Revision Ordering in Arc Consistency Algorithms In Proceedings of the ECAI-2008 workshop on Modeling and Solving Problems with Constraints

·         T. Balafoutis & K. Stergiou On Conflict-driven variable ordering heuristics In Proceedings of the ERCIM workshop on Constraint Solving and Constraint Logic Programming (CSCLP-2008)

·         K. Stergiou Heuristics for Dynamically Adapting Propagation In Proceedings of the18th European Conference on Artificial Intelligence (ECAI-2008) *selected among the best papers*

·         C. Bessiere, K. Stergiou & T. Walsh, Domain Filtering Consistencies for Non-binary Constraints   Artificial Intelligence. Vol. 172(6-7): 800-822, 2008

·         I. Gent, P. Nightingale, A. Rowley & K. Stergiou, Solving Quantified Constraint Satisfaction Problems   Artificial Intelligence. Vol. 172(6-7): 738-771, 2008

·         Yannis Argyropoulos, Kostas Stergiou A Study of SAT-Based Branching Heuristics for the CSP In Proceedings of SETN 2008 38-50, 2008

·         I. Partsakoulakis, K. Stergiou, G. Vouros Constraint Solving vs. Dynamic Reorganization for Task Allocation in Large Multi-agent Systems: Preliminary Results  In Proceedings of the AAMAS-2008 International Workshop on Organized Adaptation in Multi-Agent Systems (OAMAS-2008)

·         C. Papamanthou, K. Paparrizos, N. Samaras, K. Stergiou Worst case examples of an exterior point algorithm for the assignment problem Discrete Optimization. 5:605-614, 2008

2007

·         K. Stergiou Strong Inverse Consistencies for Non-binary CSPs In Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence  (ICTAI-2007) *best paper award*

·         F. Bacchus & K. Stergiou Solution Directed Backjumping for QCSP In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP 2007)

·         C. Theocharopoulou, I. Partsakoulakis, G. Vouros, K. Stergiou Overlay networks for task allocation and coordination in dynamic large-scale networks of cooperative agents  In Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007) 

2006

·         Y. Dimopoulos & K. Stergiou Propagation in CSP and SAT  In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006). LNCS.

·         T. Balafoutis & K. Stergiou Algorithms for Stochastic CSPs  In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006). LNCS.

·         K. Stergiou & T. Walsh, Inverse Consistencies for Non-binary Constraints  In Proceedings of the17th European Conference on Artificial Intelligence (ECAI-2006). *selected among the 10 best papers*

·         K. Kotis, G. Vouros, K. Stergiou, Towards Automatic Merging of Domain Ontologies: The HCONE-merge approach. International Journal of Web Semantics (IJWS), Springer. Vol. 4 (1): 60-79, 2006.

2005

·         P. Raftopoulou, M. Koubarakis, K. Stergiou, & P. Triantafillou. Fair Resource Allocation in a Simple Multi-Agent Setting: Search Algorithms and Experimental Evaluation  International Journal of Artificial Intelligence Tools. Vol.14 (6): 887-899, 2005.

·         K. Stergiou, Repair-based Methods for Quantified CSPs  In Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005). LNCS.

·         N. Samaras & K. Stergiou, Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results  Journal of Artificial Intelligence Research (JAIR) .Vol. 24: 641-684, 2005.

·         I. Gent, P. Nightingale & K. Stergiou, QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems  In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005).

2004

·         P. Karagiannis, N. Samaras & K. Stergiou, Arc Consistency in the Dual Encoding of Non-binary CSPs.. In Proceedings of the CP-2004 Workshop in Constraint Propagation and Implementation.

·         K. Kotis, G. Vouros & K. Stergiou, Capturing Semantics towards Automatic Coordination of Domain Ontologies. In LNAI, Vol. 3192, Springer-Verlag, (2004).

·         N. Mamoulis & K. Stergiou, Algorithms for Quantified Constraint Satisfaction Problems  In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004). LNCS.

·         N. Mamoulis & K. Stergiou, Constraint Satisfaction in Semi-structured Data Graphs  In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004). LNCS.

·         N. Samaras & K. Stergiou, Arc Consistency in Binary Encodings of Non-binary CSPs. In Proceedings of the 3nd Hellenic National Conference on AI (SETN-04). LNAI. 2004.

2002

·         K. Stergiou, On Algorithms for Decomposable Constraints.. In Proceedings of the 2nd Hellenic National Conference on AI (SETN-02). LNAI. 2002.

2001

·         N. Mamoulis & K. Stergiou, Solving Non-binary CSPs Using the Hidden Variable Encoding  In Proceedings of CP-2001: 168-182. 2001.

2000

·         I. Gent, K. Stergiou & T. Walsh Decomposable Constraints  Artificial Intelligence. Vol. 1-2: 133-156, 2000.

·         K. Stergiou & M. Koubarakis Backtracking Algorithms for Disjunctions of Temporal Constraints. Artificial Intelligence. Vol. 1: 81-117, 2000.

·         B. Smith, K. Stergiou & T. Walsh, Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems  In Proceedings of AAAI/IAAI 2000: 182-187, 2000.

·         P. Prosser, K. Stergiou & T. Walsh Singleton Consistencies  In Proceedings of CP 2000: 353-368, 2002.

1999

·         B. Smith, K. Stergiou & T. Walsh, Modelling the Colomb Ruler Problem.. In IJCAI-99 Workshop on Non-binary Constraints, 1999.

·         K. Stergiou & T. Walsh Encodings of Non-Binary Constraint Satisfaction Problems  In Proceedings of AAAI/IAAI 1999: 163-168, 1999.

·         K. Stergiou & T. Walsh The Difference All-Difference Makes  In Proceedings of IJCAI 1999: 414-419, 1999.

·         I. Gent, K. Stergiou & T. Walsh Decomposable Constraints  In New Trends in Constraints, Lecture Nore in Computer Science 1999: 134-149, 1999.

1998

·         P. Shaw, K. Stergiou & T. Walsh Arc Consistency and Quasigroup Completion  In ECAI-98 Workshop on Non-binary Constraints, 1998.

·         K. Stergiou & M. Koubarakis, Backtracking Algorithms for Disjunctions of Temporal Constraints. In Proceedings of AAAI/IAAI 1998: 248-253, 1998.