Publications
Export 31 results:
Domain Filtering Consistencies for Non-binary Constraints. Artificial Intelligence.
.
Submitted.
Solving Quantified Constraint Satisfaction Problems. Artificial Intelligence.
.
Submitted.
QCSP and QBF. Constraints.
.
Submitted.
Overlay Networks for Task Allocation and Coordination in Large-scale Networks of Cooperative Agents. Journal of Autonomous Agents and Multi-Agents Systems.
.
In Press.
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.
.
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.
.
2008.
On Conflict-driven variable ordering heuristics. In Proceedings of the ERCIM workshop on Constraint Solving and Constraint Logic Programming (CSCLP-2008).
.
2008.
.
2007.
Solution Directed Backjumping for QCSP. CP-2007.
.
2007.
Strong Inverse Consistencies for Non-binary CSPs. ICTAI-2007.
.
2007.
Algorithms for Stochastic CSPs. 12th International Conference on Principles and Practice of Constraint Programming (CP 2006).
.
2006.
Inverse Consistencies for Non-binary Constraints. ECAI-2006.
.
2006.
Propagation in CSP and SAT. Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006).
.
2006.
Towards Automatic Merging of Domain Ontologies: The HCONE-merge approach. Journal of Web Semantics (JWS). 4:60-79.
.
2006.
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results. Journal of Artificial Intelligence Research. 24:641-684.
.
2005.
Fair Resource Allocation in a Simple Multi-Agent Setting: Search Algorithms and Experimental Evaluation. International Journal of Artificial Intelligence Tools. 14:887-899.
.
2005.
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005).
.
2005.
Repair-based Methods for Quantified CSPs. 11th International Conference on Principles and Practice of Constraint Programming (CP-05).
.
2005.
Capturing Semantics towards Automatic Coordination of Domain Ontologies. AIMSA 2004, Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference. :22-32.
.
2004.
Algorithms for Quantified Constraint Satisfaction Problems. 10th International Conference on Principles and Practice of Constraint Programming (CP-04).
.
2004.
Arc Consistency in the Dual Encoding of Non-binary CSPs. 1st Workshop in Constraint Propagation and Implementation.
.
2004.
Constraint Satisfaction in Semi-structured Data Graphs. 10th International Conference on Principles and Practice of Constraint Programming (CP-04).
.
2004.
Solving Non-binary CSPs Using the Hidden Variable Encoding. CP-2001. :168-182.
.
2001.
Decomposable Constraints. Artificial Intelligence. 1-2:133-156.
.
2000.
Singleton Consistencies. In Proceedings of CP-2000. :353-368.
.
2000.