[ Issues 1-2 | Issue 3 | Issue 4 ]
|
Volume 13, Issues 1-2 (2008) Special Issue on Bioinformatics and Constraints |
|---|
|
Introduction to the Special Issue
•
Pages: 1-2
Guest Editors: Alessandro Dal Palu, Agostino Dovier, Sebastian Will Abstract | BibTeX | Authors' final version | Published version |
| Structure Prediction |
|
Constraint Programming in Structural Bioinformatics
•
Pages: 3-20
Pedro Barahona and Ludwig Krippahl Abstract | BibTeX | Authors' final version | Published version |
| Systems Biology |
|
Modelling Biological Networks by Action Languages via Answer Set Programming
•
Pages: 21-65
Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig Abstract | BibTeX | Authors' final version | Published version |
|
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
•
Pages: 66-90
Luca Bortolussi and Alberto Policriti Abstract | BibTeX | Authors' final version | Published version |
| Strings |
|
DARN! A Soft Constraint Solver for RNA Motif Localization
•
Pages: 91-109
Matthias Zytnicki, Christine Gaspin, Thomas Schiex Abstract | BibTeX | Authors' final version | Published version |
|
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
•
Pages: 110-129
Sebastian Will, Anke Busch and Rolf Backofen Abstract | BibTeX | Authors' final version | Published version |
| Haplotypes/Pedigree |
|
Mendelian Error Detection in Complex Pedigrees using Weighted Constraint Satisfaction Techniques
•
Pages: 130-154
Marti Sanchez, Simon de Givry, Thomas Schiex Abstract | BibTeX | Authors' final version | Published version |
|
Boosting Haplotype Inference with Local Search
•
Pages: 155-179
Ines Lynce, Joao Marques-Silva, Steve Prestwich Abstract | BibTeX | Authors' final version | Published version |
| Regular Papers |
|
A Constraint-Based Autonomous 3D Camera System
•
Pages: 180-205
Owen Bourne, Abdul Sattar, Scott Goodwin Abstract | BibTeX | Authors' final version | Published version |
|
A Reinforcement Learning Approach to Interval Constraint Propagation
•
Pages: 206-226
Frederic Goualard, Christophe Jermann Abstract | BibTeX | Authors' final version | Published version |
|
Volume 13, Issue 3 (2008) Special Issue on Abstraction and Automation in Constraint Modelling |
|---|
|
Introduction to the Special Issue
•
Pages: 227-228
Guest Editors: Alan M. Frisch, Ian Miguel Abstract | BibTeX | Authors' final version | Published version |
|
The Design of the Zinc Modelling Language
•
Pages: 229-267
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace Abstract | BibTeX | Authors' final version | Published version |
|
ESSENCE:
A Constraint Language for Specifying Combinatorial Problems
•
Pages: 268-306
Alan M. Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martinez-Hernandez, Ian Miguel Abstract | BibTeX | Authors' final version | Published version |
|
Domain Specific High-Level Constraints for User Interface Layout
•
Pages: 307-342
Christof Lutteroth, Robert Strandh, Gerald Weber Abstract | BibTeX | Authors' final version | Published version |
|
Expressive Power and Abstraction in ESSENCE
•
Pages: 343-384
David G. Mitchell, Eugenia Ternovska Abstract | BibTeX | Authors' final version | Published version |
|
Reformulating Table Constraints using Functional Dependencies --
An Application to Explanation Generation
•
Pages: 385-406
Hadrien Cambazard, Barry O'Sullivan Abstract | BibTeX | Authors' final version | Published version |
| Volume 13, Issue 4 (2008) |
|---|
|
Evaluating ASP and Commercial Solvers on the CSPLib
•
Pages: 407-436
Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli Abstract | BibTeX | Authors' final version | Published version |
|
Minimization of Locally-Defined Submodular Functions by
Optimal Soft Arc Consistency
•
Pages: 437-458
Martin C. Cooper Abstract | BibTeX | Authors' final version | Published version |
|
Combining Tree Partitioning, Precedence, and Incomparability Constraints
•
Pages: 459-489
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca Abstract | BibTeX | Authors' final version | Published version |
|
A Global Chance-Constraint for Stochastic Inventory Systems under
Service Level Constraints
•
Pages: 490-517
Roberto Rossi, S. Armagan Tarim, Brahim Hnich, Steven Prestwich Abstract | BibTeX | Authors' final version | Published version |
|
A Parametric Filtering Algorithm for the Graph Isomorphism Problem
•
Pages: 518-537
Sébastien Sorlin, Christine Solnon Abstract | BibTeX | Authors' final version | Published version |