default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConstraints, 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-Fibla, 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, Steve 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 D. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
