Publications


Export 31 results:
Submitted
In Press
2008
Balafoutis T, Stergiou K.  2008.  Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems. In Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.
Balafoutis T, Stergiou K.  2008.  Exploiting Constraint Weights for Revision Ordering in Arc Consistency Algorithms. In Proceedings of the ECAI-2008 workshop on Modeling and Solving Problems with Constraints.
Balafoutis T, Stergiou K.  2008.  On Conflict-driven variable ordering heuristics. In Proceedings of the ERCIM workshop on Constraint Solving and Constraint Logic Programming (CSCLP-2008).
2007
2006
Balafoutis T, Stergiou K.  2006.  Algorithms for Stochastic CSPs. 12th International Conference on Principles and Practice of Constraint Programming (CP 2006).
Dimopoulos Y, Stergiou K.  2006.  Propagation in CSP and SAT. Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006).
2005
Gent I, Nightingale P, Stergiou K.  2005.  QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005).
Stergiou K.  2005.  Repair-based Methods for Quantified CSPs. 11th International Conference on Principles and Practice of Constraint Programming (CP-05).
2004
Kotis K, Vouros G, Stergiou K.  2004.  Capturing Semantics towards Automatic Coordination of Domain Ontologies. AIMSA 2004, Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference. :22-32.
Mamoulis N, Stergiou K.  2004.  Algorithms for Quantified Constraint Satisfaction Problems. 10th International Conference on Principles and Practice of Constraint Programming (CP-04).
Karagiannis P, Samaras N, Stergiou K.  2004.  Arc Consistency in the Dual Encoding of Non-binary CSPs. 1st Workshop in Constraint Propagation and Implementation.
Mamoulis N, Stergiou K.  2004.  Constraint Satisfaction in Semi-structured Data Graphs. 10th International Conference on Principles and Practice of Constraint Programming (CP-04).
2001
2000
Gent I, Stergiou K, Walsh T.  2000.  Decomposable Constraints. Artificial Intelligence. 1-2:133-156.
Prosser P, Stergiou K, Walsh T.  2000.  Singleton Consistencies. In Proceedings of CP-2000. :353-368.

Events

« December 2018 »
SunMonTueWedThuFriSat
1
2345678
9101112131415
16171819202122
23242526272829
3031

User login

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
11 + 3 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.

How to Contact Us

If you have any question or comments, feel free to contact us.
voice:+30 2273 0 82226
fax:+30 2273 0 82229