Constraints, Volume 13

Volume 13, Number 1-2, June 2008

• Alessandro Dal Palù, Agostino Dovier, Sebastian Will:
  Introduction to the Special Issue on Bioinformatics and Constraints. 1-2
  
• Pedro Barahona, Ludwig Krippahl:
  Constraint Programming in Structural Bioinformatics. 3-20
  
• Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig:
  Modeling Biological Networks by Action Languages via Answer Set Programming. 21-65
  
• Luca Bortolussi, Alberto Policriti:
  Modeling Biological Systems in Stochastic Concurrent Constraint Programming. 66-90
  
• Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
  DARN! A Weighted Constraint Solver for RNA Motif Localization. 91-109
  
• Sebastian Will, Anke Busch, Rolf Backofen:
  Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination. 110-129
  
• Martí Sánchez, Simon de Givry, Thomas Schiex:
  Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. 130-154
  
• Inês Lynce, João Marques-Silva, Steven David Prestwich:
  Boosting Haplotype Inference with Local Search. 155-179
  
• Owen Bourne, Abdul Sattar, Scott D. Goodwin:
  A Constraint-Based Autonomous 3D Camera System. 180-205
  
• Frédéric Goualard, Christophe Jermann:
  A Reinforcement Learning Approach to Interval Constraint Propagation. 206-226
  

Volume 13, Number 3, September 2008

• Alan M. Frisch, Ian Miguel:
  Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling. 227-228
  
• Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace:
  The Design of the Zinc Modelling Language. 229-267
  
• Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel:
  Essence : A constraint language for specifying combinatorial problems. 268-306
  
• Christof Lutteroth, Robert Strandh, Gerald Weber:
  Domain Specific High-Level Constraints for User Interface Layout. 307-342
  
• David G. Mitchell, Eugenia Ternovska:
  Expressive power and abstraction in Essence. 343-384
  
• Hadrien Cambazard, Barry O'Sullivan:
  Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. 385-406
  

Volume 13, Number 4, December 2008

• Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli:
  Evaluating ASP and Commercial Solvers on the CSPLib. 407-436
  
• Martin C. Cooper:
  Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency. 437-458
  
• Nicolas Beldiceanu, Pierre Flener, Xavier Lorca:
  Combining Tree Partitioning, Precedence, and Incomparability Constraints. 459-489
  
• Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich:
  A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints. 490-517
  
• Sébastien Sorlin, Christine Solnon:
  A parametric filtering algorithm for the graph isomorphism problem. 518-537
  

Last update Tue May 21 09:58:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page