To propose a link enter your email address:

and
 
 
 

Deadline Countdown

 
 

Heads up on SAT research

 
 

SAT related books

 
 

Other SAT related sites

SATLIB: the satisfiability library
SAT-Ex: experimentations about SAT
QBFLIB: the QBF library
PBLIB: The pseudo-boolean library
SMTLIB: The Satisfiability Modulo Theory library
SAT4J:A SATisfiability library for Java
 

 

Show   all the links
only papers
   containing the keyword:     ordered by:  date
hits
Show all

1 elements available
 
  
Date:18-May-2010
Title:SofT'10 - 10th Workshop on Preferences and Soft Constraints
Hits:151
Contributed by: Joao Marques-Silva
Keywords:MAXSAT, call for papers, SoftSAT, null
 
  
 
            10th Workshop on Preferences and Soft Constraints, SofT'10

          Held in conjunction with the 16th International Conference on
             Principles and Practice of Constraint Programming, CP'10


Technical Description
---------------------

Preferences  are  ubiquitous  in  real  life:  most  problems  are
over-constrained and would not be solvable if we insist that all their
requirements are strictly met. Moreover, many problems are more
naturally described via preference rather than  hard statements. Soft
constraints  are the  way the  constraint community  has  extended its
classical framework to deal  with the concept of preferences.

This workshop  will bring together  researchers interested in all
aspects of soft constraints and cost function processing, such as:

- theoretical frameworks
- problem modeling
- solving algorithms
- languages
- preference aggregation and  elicitation
- multi-objective or qualitative optimization
- combining/integrating different frameworks and algorithms
- comparative studies
- real-life applications

The workshop is an opportunity to share knowledge between people
working  in  algorithms  and  solvers  for formalisms, including
Weighted  Max-SAT,  Soft CSP,  Bayesian Networks, Random Markov  
Field, Factor Graphs, Pseudo  Boolean Optimization, SAT Modulo 
Theories, and related formalisms.


Workshop Format
---------------

This workshop  is intended to build  on the experience  and success of
the  CP'99 to  CP'06  workshops on  the  same subject  and the  recent
meeting  on   cost  function  processing  (25   attendees  during  two
days).  Its aim  is to  provide  a forum  where researchers  currently
working  in  this  area  can  discuss  their  most  recent  ideas  and
developments  and   think  together  about  the   most  promising  new
directions.  Therefore, we  encourage  the presentation  of  work  in
progress or  on specialized aspects of  preferences, soft constraints,
and more generally, cost  function processing.  Papers that bridge the
gap between theory and practice are especially welcome.


Paper Submission
----------------

Paper submissions should contain original material and must not exceed
15  pages.  Submissions  should  use  the  Springer  LNCS  style.  All
appendices,  tables, figures and  the bibliography  must fit  into the
page  limit.  Submissions deviating  from  these  requirements may  be
rejected without  review. Paper submission  and reviewing will be done
via EasyChair. The paper submission page is:
http://www.easychair.org/conferences/?conf=soft10.


Important dates
----------------
		Paper Submission 	   	June 18
  	  	Notification 	  	  	July 23
  	  	Final Versions 	  	  	August 8
  	  	Workshop Date 	  	  	September 6

Workshop Organizers
--------------------

 Simon de Givry, INRA, Toulouse, France
 Felip Manya, CSIC, Barcelona, Spain
 Joao Marques-Silva, University College Dublin, Ireland


Program Committee
---------------------

 Fahiem Bacchus, University of Toronto, Canada
 Hachemi Bennaceur, CRIL, France
 Stefano Bistarelli, University of Perugia, Italy
 Jimmy Lee, Chinese Univ. of Hong Kong, China
 Chu-Min Li, Université de Picardie, France
 Ines Lynce, Technical Univ. of Lisbon, Portugal
 Pedro Meseguer, CSIC, Spain
 Thierry Petit, LINA-CNRS, France
 Jordi Planes, Universitat de Lleida, Spain
 Emma Rollon, Technical Univ. of Catalonia, Spain
 Thomas Schiex, INRA, France
 Francesca Rossi, University of Padova, Italy
 Brent Venable, University of Padova, Italy
 Gerard Verfaillie, ONERA, France
 Tomas Werner, Czech Tech. Univ., Czech Republic
 Nic Wilson, 4C, Ireland
 
 
 

 

© 2000-2001 Business & Technology Research Laboratory. © 2001-2005 Centre de Recherche en Informatique de Lens. Hosted by Innovation and Technology Research Lab. Please send any comment to daniel@satlive.org.