2008 |
30 | EE | Kostas Stergiou:
Heuristics for Dynamically Adapting Propagation.
ECAI 2008: 485-489 |
29 | EE | Yannis Argyropoulos,
Kostas Stergiou:
A Study of SAT-Based Branching Heuristics for the CSP.
SETN 2008: 38-50 |
28 | EE | Ian P. Gent,
Peter Nightingale,
Andrew G. D. Rowley,
Kostas Stergiou:
Solving quantified constraint satisfaction problems.
Artif. Intell. 172(6-7): 738-771 (2008) |
27 | EE | Christian Bessiere,
Kostas Stergiou,
Toby Walsh:
Domain filtering consistencies for non-binary constraints.
Artif. Intell. 172(6-7): 800-822 (2008) |
26 | EE | Kostas Stergiou:
Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency.
International Journal on Artificial Intelligence Tools 17(2): 321-337 (2008) |
25 | EE | Kostas Stergiou:
Strong Domain Filtering Consistencies for Non-Binary Constraint Satisfaction Problems.
International Journal on Artificial Intelligence Tools 17(5): 781-802 (2008) |
2007 |
24 | EE | Christina Theocharopoulou,
Ioannis Partsakoulakis,
George A. Vouros,
Kostas Stergiou:
Overlay networks for task allocation and coordination in dynamic large-scale networks of cooperative agents.
AAMAS 2007: 55 |
23 | EE | Fahiem Bacchus,
Kostas Stergiou:
Solution Directed Backjumping for QCSP.
CP 2007: 148-163 |
22 | EE | Kostas Stergiou:
Strong Inverse Consistencies for Non-Binary CSPs.
ICTAI (1) 2007: 215-222 |
2006 |
21 | EE | Yannis Dimopoulos,
Kostas Stergiou:
Propagation in CSP and SAT.
CP 2006: 137-151 |
20 | EE | Thanasis Balafoutis,
Kostas Stergiou:
Algorithms for Stochastic CSPs.
CP 2006: 44-58 |
19 | | Kostas Stergiou,
Toby Walsh:
Inverse Consistencies for Non-Binary Constraints.
ECAI 2006: 153-157 |
2005 |
18 | EE | Kostas Stergiou:
Repair-Based Methods for Quantified CSPs.
CP 2005: 652-666 |
17 | EE | Ian P. Gent,
Peter Nightingale,
Kostas Stergiou:
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.
IJCAI 2005: 138-143 |
16 | EE | Paraskevi Raftopoulou,
Manolis Koubarakis,
Kostas Stergiou,
Peter Triantafillou:
Fair Resource Allocation in a Simple Multi-agent Setting: Search Algorithms and Experimental Evaluation.
International Journal on Artificial Intelligence Tools 14(6): 887-900 (2005) |
15 | EE | Kostas Stergiou,
Nikos Samaras:
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results.
J. Artif. Intell. Res. (JAIR) 24: 641-684 (2005) |
2004 |
14 | EE | Konstantinos Kotis,
George A. Vouros,
Kostas Stergiou:
Capturing Semantics Towards Automatic Coordination of Domain Ontologies.
AIMSA 2004: 22-32 |
13 | EE | Nikos Mamoulis,
Kostas Stergiou:
Constraint Satisfaction in Semi-structured Data Graphs.
CP 2004: 393-407 |
12 | EE | Nikos Mamoulis,
Kostas Stergiou:
Algorithms for Quantified Constraint Satisfaction Problems.
CP 2004: 752-756 |
11 | EE | Nikos Samaras,
Kostas Stergiou:
Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation.
SETN 2004: 352-361 |
2002 |
10 | EE | Kostas Stergiou:
On Algorithms for Decomposable Constraints.
SETN 2002: 65-71 |
2001 |
9 | EE | Nikos Mamoulis,
Kostas Stergiou:
Solving Non-binary CSPs Using the Hidden Variable Encoding.
CP 2001: 168-182 |
2000 |
8 | | Barbara M. Smith,
Kostas Stergiou,
Toby Walsh:
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.
AAAI/IAAI 2000: 182-187 |
7 | EE | Patrick Prosser,
Kostas Stergiou,
Toby Walsh:
Singleton Consistencies.
CP 2000: 353-368 |
6 | EE | Kostas Stergiou,
Manolis Koubarakis:
Backtracking algorithms for disjunctions of temporal constraints.
Artif. Intell. 120(1): 81-117 (2000) |
5 | EE | Ian P. Gent,
Kostas Stergiou,
Toby Walsh:
Decomposable constraints.
Artif. Intell. 123(1-2): 133-156 (2000) |
1999 |
4 | | Kostas Stergiou,
Toby Walsh:
Encodings of Non-Binary Constraint Satisfaction Problems.
AAAI/IAAI 1999: 163-168 |
3 | | Kostas Stergiou,
Toby Walsh:
The Difference All-Difference Makes.
IJCAI 1999: 414-419 |
2 | EE | Ian P. Gent,
Kostas Stergiou,
Toby Walsh:
Decomposable Constraints.
New Trends in Constraints 1999: 134-149 |
1998 |
1 | | Kostas Stergiou,
Manolis Koubarakis:
Backtracking Algorithms for Disjunctions of Temporal Constraints.
AAAI/IAAI 1998: 248-253 |