Publications
Export 31 results:
.
Submitted. Domain Filtering Consistencies for Non-binary Constraints. Artificial Intelligence.
.
Submitted. Solving Quantified Constraint Satisfaction Problems. Artificial Intelligence.
.
Submitted. QCSP and QBF. Constraints.
.
In Press. Overlay Networks for Task Allocation and Coordination in Large-scale Networks of Cooperative Agents. Journal of Autonomous Agents and Multi-Agents Systems.
.
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.
.
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).
.
2007. Solution Directed Backjumping for QCSP. CP-2007.
.
2007. Strong Inverse Consistencies for Non-binary CSPs. ICTAI-2007.
.
2006. 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.
.
2005. 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).
.
2004. 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).
.
2001. Solving Non-binary CSPs Using the Hidden Variable Encoding. CP-2001. :168-182.
.
2000. Decomposable Constraints. Artificial Intelligence. 1-2:133-156.
.
2000. Singleton Consistencies. In Proceedings of CP-2000. :353-368.