| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A constraint-based approach to learn temporal features on action models from multiple plans
|
Garrido, Antonio
|
|
|
|
1-2 |
p. 134-160
|
artikel
|
| 2 |
A Constraint-Based Autonomous 3D Camera System
|
Bourne, Owen
|
|
2007
|
|
1-2 |
p. 180-205
|
artikel
|
| 3 |
A Reinforcement Learning Approach to Interval Constraint Propagation
|
Goualard, Frédéric
|
|
2007
|
|
1-2 |
p. 206-226
|
artikel
|
| 4 |
Boosting Haplotype Inference with Local Search
|
Lynce, Inês
|
|
2007
|
|
1-2 |
p. 155-179
|
artikel
|
| 5 |
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
|
Itzhakov, Avraham
|
|
|
|
1-2 |
p. 8-28
|
artikel
|
| 6 |
Concise integer linear programming formulation for clique partitioning problems
|
Koshimura, Miyuki
|
|
|
|
1-2 |
p. 99-115
|
artikel
|
| 7 |
Constraint Programming in Structural Bioinformatics
|
Barahona, Pedro
|
|
2007
|
|
1-2 |
p. 3-20
|
artikel
|
| 8 |
Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems
|
Baptiste, Philippe
|
|
2000
|
|
1-2 |
p. 119-139
|
artikel
|
| 9 |
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
|
Omrani, Mohamed Amine
|
|
|
|
1-2 |
p. 1-22
|
artikel
|
| 10 |
Correct approximation of IEEE 754 floating-point arithmetic for program verification
|
Bagnara, Roberto
|
|
|
|
1-2 |
p. 29-69
|
artikel
|
| 11 |
DARN! A Weighted Constraint Solver for RNA Motif Localization
|
Zytnicki, Matthias
|
|
2007
|
|
1-2 |
p. 91-109
|
artikel
|
| 12 |
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
|
Will, Sebastian
|
|
2007
|
|
1-2 |
p. 110-129
|
artikel
|
| 13 |
Generalized Definite Set Constraints
|
Talbot, Jean-Marc
|
|
2000
|
|
1-2 |
p. 161-202
|
artikel
|
| 14 |
Global domain views for expressive and cross-domain constraint programming
|
Justeau-Allaire, Dimitri
|
|
|
|
1-2 |
p. 1-7
|
artikel
|
| 15 |
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
|
González, Jaime E.
|
|
|
|
1-2 |
p. 23-46
|
artikel
|
| 16 |
Introduction
|
Smolka, Gert
|
|
2000
|
|
1-2 |
p. 5
|
artikel
|
| 17 |
Introduction to the Special Issue on Bioinformatics and Constraints
|
Dal Palù, Alessandro
|
|
2007
|
|
1-2 |
p. 1-2
|
artikel
|
| 18 |
Learning the travelling salesperson problem requires rethinking generalization
|
Joshi, Chaitanya K.
|
|
|
|
1-2 |
p. 70-98
|
artikel
|
| 19 |
Localizer
|
Michel, Laurent
|
|
2000
|
|
1-2 |
p. 43-84
|
artikel
|
| 20 |
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques
|
Sanchez, Marti
|
|
2007
|
|
1-2 |
p. 130-154
|
artikel
|
| 21 |
Modeling Biological Networks by Action Languages via Answer Set Programming
|
Dworschak, Steve
|
|
2007
|
|
1-2 |
p. 21-65
|
artikel
|
| 22 |
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
|
Bortolussi, Luca
|
|
2007
|
|
1-2 |
p. 66-90
|
artikel
|
| 23 |
Optimal Narrowing of a Block of Sortings in Optimal Time
|
Bleuzen-Guernalec, Noëlle
|
|
2000
|
|
1-2 |
p. 85-118
|
artikel
|
| 24 |
Ordering Constraints over Feature Trees
|
Müller, Martin
|
|
2000
|
|
1-2 |
p. 7-41
|
artikel
|
| 25 |
Solving Various Weighted Matching Problems with Constraints
|
Caseau, Yves
|
|
2000
|
|
1-2 |
p. 141-160
|
artikel
|
| 26 |
Variable ordering for decision diagrams: A portfolio approach
|
Karahalios, Anthony
|
|
|
|
1-2 |
p. 116-133
|
artikel
|
| 27 |
XCSP3 and its ecosystem
|
Audemard, Gilles
|
|
|
|
1-2 |
p. 47-69
|
artikel
|
Tijdschrift beschrijving