CFP - EPIA 2007 Workshop on Search Techniques for Constraint Satisfaction

[Ines Lynce]

                             EPIA 2007
          13th Portuguese Conference on Artificial Intelligence
	  	     http://epia2007.appia.pt

     ** Workshop on Search Techniques for Constraint Satisfaction **

	                  Call for Papers

	           December 3-7, Guimaraes, Portugal


Search is essential for solving combinatorial problems in AI. For the usual
case where inference based methods are incomplete, search provides the core
engine for applications such as hardware verification, planning, or protein
folding.

Recent advances in Constraint Programming (CP) and Boolean algorithms for
Propositional Satisfiability (SAT), Pseudo-Boolean Optimization (PBO),
Satisfiability-Modulo Theories (SMT) and Quantified Boolean Formulas (QBF)
have allowed current solvers to perform several orders of magnitude faster
than previous ones. This workshop aims at bringing together researchers and
practitioners from these communities, in order to learn from each other,
develop common understandings, and inspire new applications, algorithms and
approaches.


TOPICS OF INTEREST

The topics of the workshop span practical and theoretical research on search
techniques for constraint satisfaction and include but are not limited to:

  Complete and local search algorithms
  Analysis of search algorithms
  Search heuristics
  Search space pruning techniques
  Problem encodings for combinatorial problems using constraint programming
    and propositional satisfiability
  Novel applications using constraint satisfaction components
  Implementation techniques for constraint satisfaction and combinatorial
    optimization search algorithms
  Distributed and parallel algorithms for constraint satisfaction
  Case studies and empirical results


SUBMISSION

Authors should submit full papers with a maximum of 12 pages using Springer
LNCS format. Submission is double blind. A selection of the workshop
accepted full papers will be published by Springer LNAI sub-series. All the
other accepted papers will be published in the workshop proceedings.


IMPORTANT DATES

  Submission Deadline:  30.June.2007
  Notification of acceptance:  28.July.2007
  Workshop and EPIA 2007:  3-7.December.2007


ORGANISING COMMITTEE

  Francisco Azevedo, New University of Lisbon, Portugal
  Ines Lynce, Technical University of Lisbon, Portugal
  Vasco Manquinho, Technical University of Lisbon, Portugal


PROGRAM COMMITTEE

  Pedro Barahona, Universidade Nova de Lisboa, Portugal
  Lucas Bordeaux, Microsoft Research, UK
  Carla Gomes, Cornell University, USA
  Zeynep Kiziltan, Università di Bologna, Italy
  Oliver Kullmann, University of Wales Swansea, UK
  Daniel Le Berre, Université d'Artois, France
  Felip Manyà, Universitat de Lleida, Spain
  João Marques-Silva, University of Southampton, UK
  Pedro Meseguer, IIIA-CSIC Barcelona, Spain
  Steven Prestwich, University College Cork, Ireland
  Olivier Roussel, Université d'Artois, France
  Carsten Sinz, University of Tübingen, Germany
  Barbara Smith, Cork Constraint Computation Centre, Ireland
  Armando Tachella, Università di Genova, Italy
  Mark Wallace, Monash University, Australia