| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
|
Fioretto, Ferdinando
|
|
2017
|
|
1 |
p. 1-43
|
artikel
|
| 2 |
A Constraint-Based Approach for Visualization and Animation
|
Shin Takahashi
|
|
1998
|
|
1 |
p. 61-86
26 p.
|
artikel
|
| 3 |
A Constraint-Based Approach for Visualization and Animation
|
Takahashi, Shin
|
|
1998
|
|
1 |
p. 61-86
|
artikel
|
| 4 |
A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models
|
Backofen, Rolf
|
|
2006
|
|
1 |
p. 5-30
|
artikel
|
| 5 |
A Constraint-Based Robotic Soccer Team
|
Yu Zhang
|
|
2002
|
|
1 |
p. 7-28
22 p.
|
artikel
|
| 6 |
A Constraint-Based Robotic Soccer Team
|
Zhang, Yu
|
|
2002
|
|
1 |
p. 7-28
|
artikel
|
| 7 |
A Foundation of Solution Methods for Constraint Hierarchies
|
Hiroshi Hosobe
|
|
2003
|
|
1 |
p. 41-59
19 p.
|
artikel
|
| 8 |
A Foundation of Solution Methods for Constraint Hierarchies
|
Hosobe, Hiroshi
|
|
2003
|
|
1 |
p. 41-59
|
artikel
|
| 9 |
A Framework for Optimal Correction of Inconsistent Linear Constraints
|
Amaral, Paula
|
|
2005
|
|
1 |
p. 67-86
|
artikel
|
| 10 |
A global constraint for total weighted completion time for unary resources
|
Kovács, András
|
|
2009
|
|
1 |
p. 100-123
|
artikel
|
| 11 |
“Almost-stable” matchings in the Hospitals / Residents problem with Couples
|
Manlove, David F.
|
|
2016
|
|
1 |
p. 50-72
|
artikel
|
| 12 |
An interdisciplinary experimental evaluation on the disjunctive temporal problem
|
Zavatteri, Matteo
|
|
|
|
1 |
p. 1-12
|
artikel
|
| 13 |
An optimal arc consistency algorithm for a particular case of sequence constraint
|
Siala, Mohamed
|
|
2013
|
|
1 |
p. 30-56
|
artikel
|
| 14 |
A Rigorous Global Filtering Algorithm for Quadratic Constraints*
|
Lebbah, Yahia
|
|
2005
|
|
1 |
p. 47-65
|
artikel
|
| 15 |
A self-adaptive multi-engine solver for quantified Boolean formulas
|
Pulina, Luca
|
|
2008
|
|
1 |
p. 80-116
|
artikel
|
| 16 |
A solver for QBFs in negation normal form
|
Egly, Uwe
|
|
2008
|
|
1 |
p. 38-79
|
artikel
|
| 17 |
Beyond the structure of SAT formulas
|
Giráldez-Cru, Jesús
|
|
2016
|
|
1 |
p. 95-96
|
artikel
|
| 18 |
Bucket Elimination: a Unifying Framework for ProcessingHard and Soft Constraints
|
Rina Dechter
|
|
1997
|
|
1 |
p. 51-55
5 p.
|
artikel
|
| 19 |
Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints
|
Dechter, Rina
|
|
1997
|
|
1 |
p. 51-55
|
artikel
|
| 20 |
Combining techniques of bounded model checking and constraint programming to aid for error localization
|
Bekkouche, Mohammed
|
|
2016
|
|
1 |
p. 93-94
|
artikel
|
| 21 |
Compiling CP subproblems to MDDs and d-DNNFs
|
Uña, Diego de
|
|
2018
|
|
1 |
p. 56-93
|
artikel
|
| 22 |
Compositional Computing
|
Vijay Saraswat
|
|
1997
|
|
1 |
p. 95-97
3 p.
|
artikel
|
| 23 |
Compositional Computing
|
Saraswat, Vijay
|
|
1997
|
|
1 |
p. 95-97
|
artikel
|
| 24 |
Constraint-Based Design of Embedded Intelligent Systems
|
Alan K. Mackworth
|
|
1997
|
|
1 |
p. 83-86
4 p.
|
artikel
|
| 25 |
Constraint-Based Design of Embedded Intelligent Systems
|
Mackworth, Alan K.
|
|
1997
|
|
1 |
p. 83-86
|
artikel
|
| 26 |
Constraint-Based Facial Animation
|
Zsofia Ruttkay
|
|
2001
|
|
1 |
p. 85-113
29 p.
|
artikel
|
| 27 |
Constraint-Based Facial Animation
|
Ruttkay, Zsofia
|
|
2001
|
|
1 |
p. 85-113
|
artikel
|
| 28 |
Constraint Databases: Promising Technology or Just IntellectualExercise?
|
Alexander Brodsky
|
|
1997
|
|
1 |
p. 35-44
10 p.
|
artikel
|
| 29 |
Constraint Databases: Promising Technology or Just Intellectual Exercise?
|
Brodsky, Alexander
|
|
1997
|
|
1 |
p. 35-44
|
artikel
|
| 30 |
Constraint models for graceful graphs
|
Smith, Barbara M.
|
|
2009
|
|
1 |
p. 64-92
|
artikel
|
| 31 |
Constraint Programming 2000: A Position Paper
|
Joxan Jaffar
|
|
1997
|
|
1 |
p. 71-73
3 p.
|
artikel
|
| 32 |
Constraint Programming 2000: A Position Paper
|
Jaffar, Joxan
|
|
1997
|
|
1 |
p. 71-73
|
artikel
|
| 33 |
Constraint Programming for Combinatorial Search Problems
|
Pascal Van Hentenryck
|
|
1997
|
|
1 |
p. 99-101
3 p.
|
artikel
|
| 34 |
Constraint Programming for Combinatorial Search Problems
|
Hentenryck, Pascal Van
|
|
1997
|
|
1 |
p. 99-101
|
artikel
|
| 35 |
Constraint programming for planning test campaigns of communications satellites
|
Hebrard, Emmanuel
|
|
2016
|
|
1 |
p. 73-89
|
artikel
|
| 36 |
Constraint Programming: Strategic Directions
|
Pascal Van Hentenryck
|
|
1997
|
|
1 |
p. 7-33
27 p.
|
artikel
|
| 37 |
Constraint Programming: Strategic Directions
|
Hentenryck, Pascal Van
|
|
1997
|
|
1 |
p. 7-33
|
artikel
|
| 38 |
Constraint Propagation and Decomposition Techniques forHighly Disjunctive and Highly Cumulative Project Scheduling Problems
|
Philippe Baptiste
|
|
2000
|
|
1 |
p. 119-139
21 p.
|
artikel
|
| 39 |
Constraint Retraction in CLP(FD): Formal Framework andPerformance Results
|
Yan Georget
|
|
1999
|
|
1 |
p. 5-42
38 p.
|
artikel
|
| 40 |
Constraint Retraction in CLP(FD): Formal Framework and Performance Results
|
Georget, Yan
|
|
1999
|
|
1 |
p. 5-42
|
artikel
|
| 41 |
Constraints for symmetry breaking in graph representation
|
Codish, Michael
|
|
2018
|
|
1 |
p. 1-24
|
artikel
|
| 42 |
Constraints in Databases
|
Raghu Ramakrishnan
|
|
1997
|
|
1 |
p. 93-94
2 p.
|
artikel
|
| 43 |
Constraints in Databases
|
Ramakrishnan, Raghu
|
|
1997
|
|
1 |
p. 93-94
|
artikel
|
| 44 |
Constraints in Graph Drawing Algorithms
|
Roberto Tamassia
|
|
1998
|
|
1 |
p. 87-120
34 p.
|
artikel
|
| 45 |
Constraints in Graph Drawing Algorithms
|
Tamassia, Roberto
|
|
1998
|
|
1 |
p. 87-120
|
artikel
|
| 46 |
Constraint Solving and Programming: What Next?
|
Ugo Montanari
|
|
1997
|
|
1 |
p. 87-91
5 p.
|
artikel
|
| 47 |
Constraint Solving and Programming: What Next?
|
Montanari, Ugo
|
|
1997
|
|
1 |
p. 87-91
|
artikel
|
| 48 |
Constraint Techniques for Authoring Multimedia Documents
|
Muriel Jourdan
|
|
2001
|
|
1 |
p. 115-132
18 p.
|
artikel
|
| 49 |
Constraint Techniques for Authoring Multimedia Documents
|
Jourdan, Muriel
|
|
2001
|
|
1 |
p. 115-132
|
artikel
|
| 50 |
Cooperative Resolution of Over-Constrained Information Requests
|
Yan Qu
|
|
2002
|
|
1 |
p. 29-47
19 p.
|
artikel
|
| 51 |
Cooperative Resolution of Over-Constrained Information Requests
|
Qu, Yan
|
|
2002
|
|
1 |
p. 29-47
|
artikel
|
| 52 |
Current Approaches for Solving Over-Constrained Problems
|
Pedro Meseguer
|
|
2003
|
|
1 |
p. 9-39
31 p.
|
artikel
|
| 53 |
Current Approaches for Solving Over-Constrained Problems
|
Meseguer, Pedro
|
|
2003
|
|
1 |
p. 9-39
|
artikel
|
| 54 |
Dantzig-Wolfe decomposition and branch-and-price solving in G12
|
Puchinger, Jakob
|
|
2009
|
|
1 |
p. 77-99
|
artikel
|
| 55 |
Deriving generic bounds for time-series constraints based on regular expressions characteristics
|
Arafailova, Ekaterina
|
|
2017
|
|
1 |
p. 44-86
|
artikel
|
| 56 |
Disunification in ACI1 Theories
|
Agostino Dovier
|
|
2004
|
|
1 |
p. 35-91
57 p.
|
artikel
|
| 57 |
Disunification in ACI1 Theories
|
Dovier, Agostino
|
|
2004
|
|
1 |
p. 35-91
|
artikel
|
| 58 |
Editor’s note
|
|
|
2015
|
|
1 |
p. 1
|
artikel
|
| 59 |
Efficient algorithms for singleton arc consistency
|
Bessiere, Christian
|
|
2009
|
|
1 |
p. 25-53
|
artikel
|
| 60 |
Efficient handling of universally quantified inequalities
|
Goldsztejn, Alexandre
|
|
2008
|
|
1 |
p. 117-135
|
artikel
|
| 61 |
Erratum to “Reformulating table constraints using functional dependencies—an application to explanation generation”
|
Cambazard, Hadrien
|
|
2009
|
|
1 |
p. 145-147
|
artikel
|
| 62 |
Evaluating the impact of AND/OR search on 0-1 integer linear programming
|
Marinescu, Radu
|
|
2009
|
|
1 |
p. 29-63
|
artikel
|
| 63 |
Explaining circuit propagation
|
Francis, Kathryn Glenn
|
|
2013
|
|
1 |
p. 1-29
|
artikel
|
| 64 |
Exploiting subproblem dominance in constraint programming
|
Chu, Geoffrey
|
|
2011
|
|
1 |
p. 1-38
|
artikel
|
| 65 |
Extensible automated constraint modelling via refinement of abstract problem specifications
|
Akgün, Özgür
|
|
2016
|
|
1 |
p. 91-92
|
artikel
|
| 66 |
Fleet design optimisation from historical data using constraint programming and large neighbourhood search
|
Kilby, Philip
|
|
2015
|
|
1 |
p. 2-21
|
artikel
|
| 67 |
Formal languages for integer programming modeling of shift scheduling problems
|
Côté, Marie-Claude
|
|
2009
|
|
1 |
p. 54-76
|
artikel
|
| 68 |
General game playing with stochastic CSP
|
Koriche, Frédéric
|
|
2015
|
|
1 |
p. 95-114
|
artikel
|
| 69 |
Generalized Definite Set Constraints
|
Jean-Marc Talbot
|
|
2000
|
|
1 |
p. 161-202
42 p.
|
artikel
|
| 70 |
General Properties and Termination Conditions for Soft Constraint Propagation
|
S. Bistarelli
|
|
2003
|
|
1 |
p. 79-97
19 p.
|
artikel
|
| 71 |
General Properties and Termination Conditions for Soft Constraint Propagation
|
Bistarelli, S.
|
|
2003
|
|
1 |
p. 79-97
|
artikel
|
| 72 |
Grammar constraints
|
Kadioglu, Serdar
|
|
2009
|
|
1 |
p. 117-144
|
artikel
|
| 73 |
Graphical models for optimal power flow
|
Dvijotham, Krishnamurthy
|
|
2016
|
|
1 |
p. 24-49
|
artikel
|
| 74 |
Guest Editorial
|
Philippe Codognet
|
|
2003
|
|
1 |
p. 5-7
3 p.
|
artikel
|
| 75 |
Guest Editorial
|
Codognet, Philippe
|
|
2003
|
|
1 |
p. 5-7
|
artikel
|
| 76 |
How efficient is a global constraint in practice?
|
Cauwelaert, Sascha Van
|
|
2017
|
|
1 |
p. 87-122
|
artikel
|
| 77 |
Hybrid metaheuristics for stochastic constraint programming
|
Prestwich, S. D.
|
|
2014
|
|
1 |
p. 57-76
|
artikel
|
| 78 |
Icola Incremental Constraint-Based Graphics forVisualization
|
Gregory M. Oster
|
|
1998
|
|
1 |
p. 33-59
27 p.
|
artikel
|
| 79 |
Icola — Incremental Constraint-Based Graphics for Visualization
|
Oster, Gregory M.
|
|
1998
|
|
1 |
p. 33-59
|
artikel
|
| 80 |
Improved WPM encoding for coalition structure generation under MC-nets
|
Liao, Xiaojuan
|
|
2018
|
|
1 |
p. 25-55
|
artikel
|
| 81 |
Improving inter-block backtracking with interval Newton
|
Neveu, Bertrand
|
|
2009
|
|
1 |
p. 93-116
|
artikel
|
| 82 |
Improving the lower bound of simple tabular reduction
|
Lecoutre, Christophe
|
|
2014
|
|
1 |
p. 100-108
|
artikel
|
| 83 |
In Pursuit of the Holy Grail
|
Eugene C. Freuder
|
|
1997
|
|
1 |
p. 57-61
5 p.
|
artikel
|
| 84 |
In Pursuit of the Holy Grail
|
Freuder, Eugene C.
|
|
1997
|
|
1 |
p. 57-61
|
artikel
|
| 85 |
Integrating Constraints and Concurrent Objects in MusicalApplications: A Calculus and its Visual Language
|
Camilo Rueda
|
|
2001
|
|
1 |
p. 21-52
32 p.
|
artikel
|
| 86 |
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language
|
Rueda, Camilo
|
|
2001
|
|
1 |
p. 21-52
|
artikel
|
| 87 |
Introduction
|
Gert Smolka
|
|
2000
|
|
1 |
p. 5-5
1 p.
|
artikel
|
| 88 |
Introduction to the fast track issue for CP 2016
|
Hoeve, Willem-Jan van
|
|
2016
|
|
1 |
p. 1-2
|
artikel
|
| 89 |
Introduction to the Special Issue
|
Isabel Cruz
|
|
1998
|
|
1 |
p. 5-7
3 p.
|
artikel
|
| 90 |
Introduction to the Special Issue
|
Vijay Saraswat
|
|
1997
|
|
1 |
p. 5-6
2 p.
|
artikel
|
| 91 |
Introduction to the Special Issue
|
Saraswat, Vijay
|
|
1997
|
|
1 |
p. 5-6
|
artikel
|
| 92 |
Introduction to the Special Issue
|
Cruz, Isabel
|
|
1998
|
|
1 |
p. 5-7
|
artikel
|
| 93 |
Introduction to the Special Issue on Constraints for MultimediaArtistic Applications
|
Francois Pachet
|
|
2001
|
|
1 |
p. 5-6
2 p.
|
artikel
|
| 94 |
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications
|
Pachet, Francois
|
|
2001
|
|
1 |
p. 5-6
|
artikel
|
| 95 |
Introduction to the Special Issue on Principles and Practice of Constraint Programming
|
Hentenryck, Pascal Van
|
|
2005
|
|
1 |
p. 5
|
artikel
|
| 96 |
Introduction to the special issue on quantified CSPs and QBF
|
Giunchglia, Enrico
|
|
2008
|
|
1 |
p. 1-2
|
artikel
|
| 97 |
Lagrangean Relaxation Revisited, Technical Note
|
D.J. White
|
|
1999
|
|
1 |
p. 67-77
11 p.
|
artikel
|
| 98 |
Lagrangean Relaxation Revisited, Technical Note
|
White, D.J.
|
|
1999
|
|
1 |
p. 67-77
|
artikel
|
| 99 |
Large-scale parallelism for constraint-based local search: the costas array case study
|
Caniou, Yves
|
|
2014
|
|
1 |
p. 30-56
|
artikel
|
| 100 |
Lexicographically-ordered constraint satisfaction problems
|
Freuder, Eugene C.
|
|
2009
|
|
1 |
p. 1-28
|
artikel
|
| 101 |
Localizer
|
Laurent Michel
|
|
2000
|
|
1 |
p. 43-84
42 p.
|
artikel
|
| 102 |
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics
|
Alghazi, Anas
|
|
2017
|
|
1 |
p. 123-153
|
artikel
|
| 103 |
Modelling Musical Structures
|
Detlev Zimmermann
|
|
2001
|
|
1 |
p. 53-83
31 p.
|
artikel
|
| 104 |
Modelling Musical Structures
|
Zimmermann, Detlev
|
|
2001
|
|
1 |
p. 53-83
|
artikel
|
| 105 |
Musical Harmonization with Constraints: A Survey
|
Francois Pachet
|
|
2001
|
|
1 |
p. 7-19
13 p.
|
artikel
|
| 106 |
Musical Harmonization with Constraints: A Survey
|
Pachet, Francois
|
|
2001
|
|
1 |
p. 7-19
|
artikel
|
| 107 |
Neighborhood singleton consistencies
|
Stergiou, Kostas
|
|
2018
|
|
1 |
p. 94-131
|
artikel
|
| 108 |
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains
|
Mark Wallace
|
|
2004
|
|
1 |
p. 5-34
30 p.
|
artikel
|
| 109 |
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”
|
Wallace, Mark
|
|
2004
|
|
1 |
p. 5-34
|
artikel
|
| 110 |
On computing minimal independent support and its applications to sampling and counting
|
Ivrii, Alexander
|
|
2015
|
|
1 |
p. 41-58
|
artikel
|
| 111 |
On matrices, automata, and double counting in constraint programming
|
Beldiceanu, Nicolas
|
|
2012
|
|
1 |
p. 108-140
|
artikel
|
| 112 |
On the hardness of solving edge matching puzzles as SAT or CSP problems
|
Ansótegui, Carlos
|
|
2012
|
|
1 |
p. 7-37
|
artikel
|
| 113 |
On the reification of global constraints
|
Beldiceanu, Nicolas
|
|
2012
|
|
1 |
p. 1-6
|
artikel
|
| 114 |
On Topological Consistency and Realization
|
Li, Sanjiang
|
|
2006
|
|
1 |
p. 31-51
|
artikel
|
| 115 |
Optimal and efficient filtering algorithms for table constraints
|
Mairy, Jean-Baptiste
|
|
2013
|
|
1 |
p. 77-120
|
artikel
|
| 116 |
Optimal methods for resource allocation and scheduling: a cross-disciplinary survey
|
Lombardi, Michele
|
|
2012
|
|
1 |
p. 51-85
|
artikel
|
| 117 |
Optimal Narrowing of a Block of Sortings in Optimal Time
|
Noëlle Bleuzen-Guernalec
|
|
2000
|
|
1 |
p. 85-118
34 p.
|
artikel
|
| 118 |
Ordering Constraints over Feature Trees
|
Martin Müller
|
|
2000
|
|
1 |
p. 7-41
35 p.
|
artikel
|
| 119 |
Other things besides number: Abstraction, constraint propagation, and string variable types
|
Scott, Joseph
|
|
2016
|
|
1 |
p. 99-100
|
artikel
|
| 120 |
PhD theses in constraints
|
Tack, Guido
|
|
2016
|
|
1 |
p. 90
|
artikel
|
| 121 |
Projection, consistency, and George Boole
|
Hooker, J. N.
|
|
2015
|
|
1 |
p. 59-76
|
artikel
|
| 122 |
Propagation engine prototyping with a domain specific language
|
Prud’homme, Charles
|
|
2013
|
|
1 |
p. 57-76
|
artikel
|
| 123 |
Radio Link Frequency Assignment
|
B. Cabon
|
|
1999
|
|
1 |
p. 79-89
11 p.
|
artikel
|
| 124 |
Radio Link Frequency Assignment
|
Cabon, B.
|
|
1999
|
|
1 |
p. 79-89
|
artikel
|
| 125 |
Relatively quantified constraint satisfaction
|
Bodirsky, Manuel
|
|
2008
|
|
1 |
p. 3-15
|
artikel
|
| 126 |
Report from the Editor in Chief, year 2015
|
Milano, Michela
|
|
2016
|
|
1 |
p. 103-105
|
artikel
|
| 127 |
Scheduling scientific experiments for comet exploration
|
Simonin, Gilles
|
|
2014
|
|
1 |
p. 77-99
|
artikel
|
| 128 |
Scheduling Sport Tournaments using Constraint Logic Programming
|
Andrea Schaerf
|
|
1999
|
|
1 |
p. 43-65
23 p.
|
artikel
|
| 129 |
Scheduling Sport Tournaments using Constraint Logic Programming
|
Schaerf, Andrea
|
|
1999
|
|
1 |
p. 43-65
|
artikel
|
| 130 |
SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems
|
Marc Torrens
|
|
2002
|
|
1 |
p. 49-69
21 p.
|
artikel
|
| 131 |
SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems
|
Torrens, Marc
|
|
2002
|
|
1 |
p. 49-69
|
artikel
|
| 132 |
Solving Kirkman’s Schoolgirl Problem in a Few Seconds
|
Barnier, Nicolas
|
|
2005
|
|
1 |
p. 7-21
|
artikel
|
| 133 |
Solving steel mill slab design problems
|
Heinz, Stefan
|
|
2011
|
|
1 |
p. 39-50
|
artikel
|
| 134 |
Solving strong controllability of temporal problems with uncertainty using SMT
|
Cimatti, Alessandro
|
|
2014
|
|
1 |
p. 1-29
|
artikel
|
| 135 |
Solving Various Weighted Matching Problems with Constraints
|
Yves Caseau
|
|
2000
|
|
1 |
p. 141-160
20 p.
|
artikel
|
| 136 |
Some Challenges for Constraint Programming
|
Manuel Hermenegildo
|
|
1997
|
|
1 |
p. 63-69
7 p.
|
artikel
|
| 137 |
Some Challenges for Constraint Programming
|
Hermenegildo, Manuel
|
|
1997
|
|
1 |
p. 63-69
|
artikel
|
| 138 |
Special Issue on Constraint Agents
|
Peggy S. Eaton
|
|
2002
|
|
1 |
p. 5-6
2 p.
|
artikel
|
| 139 |
Special Issue on Constraint Agents
|
Eaton, Peggy S.
|
|
2002
|
|
1 |
p. 5-6
|
artikel
|
| 140 |
Stochastic Constraint Programming: A Scenario-Based Approach
|
Tarim, S. Armagan
|
|
2006
|
|
1 |
p. 53-80
|
artikel
|
| 141 |
Structural tractability of enumerating CSP solutions
|
Greco, Gianluigi
|
|
2012
|
|
1 |
p. 38-74
|
artikel
|
| 142 |
Symmetry Breaking Revisited
|
Puget, Jean-François
|
|
2005
|
|
1 |
p. 23-46
|
artikel
|
| 143 |
The algebraic structure of the densification and the sparsification tasks for CSPs
|
Takhanov, Rustem
|
|
|
|
1 |
p. 13-44
|
artikel
|
| 144 |
The power of propagation: when GAC is enough
|
Cohen, David A.
|
|
2016
|
|
1 |
p. 3-23
|
artikel
|
| 145 |
The Virtuality of Constraints and the Constraints of Virtuality
|
Philippe Codognet
|
|
1997
|
|
1 |
p. 45-49
5 p.
|
artikel
|
| 146 |
The Virtuality of Constraints and the Constraints of Virtuality
|
Codognet, Philippe
|
|
1997
|
|
1 |
p. 45-49
|
artikel
|
| 147 |
Towards a Constraint-Based Engineering Framework for AlgorithmDesign and Application
|
Simon Kasif
|
|
1997
|
|
1 |
p. 75-82
8 p.
|
artikel
|
| 148 |
Towards a Constraint-Based Engineering Framework for Algorithm Design and Application
|
Kasif, Simon
|
|
1997
|
|
1 |
p. 75-82
|
artikel
|
| 149 |
Towards better heuristics for solving bounded model checking problems
|
Kheireddine, Anissa
|
|
|
|
1 |
p. 45-66
|
artikel
|
| 150 |
Towards statistical consistency for stochastic constraint programming
|
Zghidi, Imen
|
|
2017
|
|
1 |
p. 101-102
|
artikel
|
| 151 |
Tractable cases of the extended global cardinality constraint
|
Samer, Marko
|
|
2009
|
|
1 |
p. 1-24
|
artikel
|
| 152 |
Tractable classes for CSPs of arbitrary arity: from theory to practice
|
El Mouelhi, Achref
|
|
2016
|
|
1 |
p. 97-98
|
artikel
|
| 153 |
Ultraviolet: A Constraint Satisfaction Algorithm for InteractiveGraphics
|
Alan Borning
|
|
1998
|
|
1 |
p. 9-32
24 p.
|
artikel
|
| 154 |
Ultraviolet: A Constraint Satisfaction Algorithm for Interactive Graphics
|
Borning, Alan
|
|
1998
|
|
1 |
p. 9-32
|
artikel
|
| 155 |
Using finite transducers for describing and synthesising structural time-series constraints
|
Beldiceanu, Nicolas
|
|
2015
|
|
1 |
p. 22-40
|
artikel
|
| 156 |
Value ordering for quantified CSPs
|
Stynes, David
|
|
2008
|
|
1 |
p. 16-37
|
artikel
|
| 157 |
View-based propagator derivation
|
Schulte, Christian
|
|
2012
|
|
1 |
p. 75-107
|
artikel
|
| 158 |
Visual search tree profiling
|
Shishmarev, Maxim
|
|
2015
|
|
1 |
p. 77-94
|
artikel
|
| 159 |
Weighted Constraint Aggregation in Fuzzy Optimization
|
U. Kaymak
|
|
2003
|
|
1 |
p. 61-78
18 p.
|
artikel
|
| 160 |
Weighted Constraint Aggregation in Fuzzy Optimization
|
Kaymak, U.
|
|
2003
|
|
1 |
p. 61-78
|
artikel
|
Tijdschrift beschrijving