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
Electronic Edition (link) BibTeX
- Pedro Barahona, Ludwig Krippahl:
Constraint Programming in Structural Bioinformatics.
3-20
Electronic Edition (link) BibTeX
- Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig:
Modeling Biological Networks by Action Languages via Answer Set Programming.
21-65
Electronic Edition (link) BibTeX
- Luca Bortolussi, Alberto Policriti:
Modeling Biological Systems in Stochastic Concurrent Constraint Programming.
66-90
Electronic Edition (link) BibTeX
- Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
DARN! A Weighted Constraint Solver for RNA Motif Localization.
91-109
Electronic Edition (link) BibTeX
- Sebastian Will, Anke Busch, Rolf Backofen:
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.
110-129
Electronic Edition (link) BibTeX
- Martí Sánchez, Simon de Givry, Thomas Schiex:
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.
130-154
Electronic Edition (link) BibTeX
- Inês Lynce, João Marques-Silva, Steven David Prestwich:
Boosting Haplotype Inference with Local Search.
155-179
Electronic Edition (link) BibTeX
- Owen Bourne, Abdul Sattar, Scott D. Goodwin:
A Constraint-Based Autonomous 3D Camera System.
180-205
Electronic Edition (link) BibTeX
- Frédéric Goualard, Christophe Jermann:
A Reinforcement Learning Approach to Interval Constraint Propagation.
206-226
Electronic Edition (link) BibTeX
Volume 13,
Number 3,
September 2008
Special Issue on Abstraction and Automation in Constraint Modelling
- Alan M. Frisch, Ian Miguel:
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling.
227-228
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
268-306
Electronic Edition (link) BibTeX
- Christof Lutteroth, Robert Strandh, Gerald Weber:
Domain Specific High-Level Constraints for User Interface Layout.
307-342
Electronic Edition (link) BibTeX
- David G. Mitchell, Eugenia Ternovska:
Expressive power and abstraction in Essence.
343-384
Electronic Edition (link) BibTeX
- Hadrien Cambazard, Barry O'Sullivan:
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.
385-406
Electronic Edition (link) BibTeX
Volume 13,
Number 4,
December 2008
- Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli:
Evaluating ASP and Commercial Solvers on the CSPLib.
407-436
Electronic Edition (link) BibTeX
- Martin C. Cooper:
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency.
437-458
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Pierre Flener, Xavier Lorca:
Combining Tree Partitioning, Precedence, and Incomparability Constraints.
459-489
Electronic Edition (link) BibTeX
- Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich:
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints.
490-517
Electronic Edition (link) BibTeX
- Sébastien Sorlin, Christine Solnon:
A parametric filtering algorithm for the graph isomorphism problem.
518-537
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:53:48 2009
by Michael Ley (ley@uni-trier.de)
