| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters
|
Fribourg, Laurent
|
|
1997
|
|
3-4 |
p. 305-335
|
artikel
|
| 2 |
A new constraint programming model and solving for the cyclic hoist scheduling problem
|
Wallace, Mark
|
|
|
|
3-4 |
p. 319-337
|
artikel
|
| 3 |
Constraint Games for stable and optimal allocation of demands in SDN
|
Palmieri, Anthony
|
|
2019
|
|
3-4 |
p. 252-287
|
artikel
|
| 4 |
Cost-Based Arc Consistency for Global Cardinality Constraints
|
Régin, Jean-Charles
|
|
2002
|
|
3-4 |
p. 387-405
|
artikel
|
| 5 |
Efficient multiple constraint acquisition
|
Tsouros, Dimosthenis C.
|
|
|
|
3-4 |
p. 180-225
|
artikel
|
| 6 |
Encoding cardinality constraints using multiway merge selection networks
|
Karpiński, Michał
|
|
2019
|
|
3-4 |
p. 234-251
|
artikel
|
| 7 |
Exact and flexible solution approach to a critical chain project management problem
|
Goto, Hiroyuki
|
|
|
|
3-4 |
p. 280-297
|
artikel
|
| 8 |
Excluding Symmetries in Constraint-Based Search
|
Backofen, Rolf
|
|
2002
|
|
3-4 |
p. 333-349
|
artikel
|
| 9 |
Guest Editorial
|
Jaffar, Joxan
|
|
2002
|
|
3-4 |
p. 227-228
|
artikel
|
| 10 |
Implementation and Evaluation of Decision Trees with Range and Region Splitting
|
Morimoto, Yasuhiko
|
|
1997
|
|
3-4 |
p. 401-427
|
artikel
|
| 11 |
Incentive-based search for equilibria in boolean games
|
Levit, Vadim
|
|
2019
|
|
3-4 |
p. 288-319
|
artikel
|
| 12 |
Introduction to the CPAIOR 2020 fast track issue
|
Hebrard, Emmanuel
|
|
|
|
3-4 |
p. 298-299
|
artikel
|
| 13 |
Introduction to the Special Issue on Constraints and Databases
|
Ramakrishnan, Raghu
|
|
1997
|
|
3-4 |
p. 243
|
artikel
|
| 14 |
Invariants for time-series constraints
|
Arafailova, Ekaterina
|
|
|
|
3-4 |
p. 71-120
|
artikel
|
| 15 |
Learning optimal decision trees using constraint programming
|
Verhaeghe, Hélène
|
|
|
|
3-4 |
p. 226-250
|
artikel
|
| 16 |
Maintaining Global Integrity Constraints in Distributed Databases
|
Huyn, Nam
|
|
1997
|
|
3-4 |
p. 377-399
|
artikel
|
| 17 |
Memoing Evaluation for Constraint Extensions of Datalog
|
Toman, David
|
|
1997
|
|
3-4 |
p. 337-359
|
artikel
|
| 18 |
Non-local configuration of component interfaces by constraint satisfaction
|
Tveretina, Olga
|
|
|
|
3-4 |
p. 121-159
|
artikel
|
| 19 |
Not all FPRASs are equal: demystifying FPRASs for DNF-counting
|
Meel, Kuldeep S.
|
|
2018
|
|
3-4 |
p. 211-233
|
artikel
|
| 20 |
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers
|
Tchinda, Rodrigue Konan
|
|
|
|
3-4 |
p. 251-279
|
artikel
|
| 21 |
Optimal Distributed Arc-Consistency
|
Hamadi, Youssef
|
|
2002
|
|
3-4 |
p. 367-385
|
artikel
|
| 22 |
Optimization-Oriented Global Constraints
|
Focacci, Filippo
|
|
2002
|
|
3-4 |
p. 351-365
|
artikel
|
| 23 |
Partition-Based Lower Bound for Max-CSP
|
Larrosa, Javier
|
|
2002
|
|
3-4 |
p. 407-419
|
artikel
|
| 24 |
Power of pre-processing: production scheduling with variable energy pricing and power-saving states
|
Benedikt, Ondřej
|
|
|
|
3-4 |
p. 300-318
|
artikel
|
| 25 |
PSICO: Solving Protein Structures with Constraint Programming and Optimization
|
Krippahl, Ludwig
|
|
2002
|
|
3-4 |
p. 317-331
|
artikel
|
| 26 |
QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications
|
Marriott, Kim
|
|
2002
|
|
3-4 |
p. 229-254
|
artikel
|
| 27 |
Refining Restriction Enzyme Genome Maps
|
Revesz, Peter Z.
|
|
1997
|
|
3-4 |
p. 361-375
|
artikel
|
| 28 |
SALSA: A Language for Search Algorithms
|
Laburthe, François
|
|
2002
|
|
3-4 |
p. 255-288
|
artikel
|
| 29 |
The CCUBE Constraint Object-Oriented Database System
|
Brodsky, Alexander
|
|
1997
|
|
3-4 |
p. 245-277
|
artikel
|
| 30 |
The flexible and real-time commute trip sharing problems
|
Hasan, Mohd. Hafiz
|
|
|
|
3-4 |
p. 160-179
|
artikel
|
| 31 |
Toward Practical Query Evaluation for Constraint Databases
|
Brodsky, Alexander
|
|
1997
|
|
3-4 |
p. 279-304
|
artikel
|
Tijdschrift beschrijving