| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Complexity of minimum-size arc-inconsistency explanations
|
Bessiere, Christian
|
|
|
28 |
3 |
p. 427-449
|
artikel
|
| 2 |
Constraint programming approaches to electric vehicle and robot routing problems
|
Booth, Kyle E. C.
|
|
|
28 |
3 |
p. 506-507
|
artikel
|
| 3 |
Correction to: Solution sampling with random table constraints
|
Vavrille, Mathieu
|
|
|
28 |
3 |
p. 519
|
artikel
|
| 4 |
CSP beyond tractable constraint languages
|
Dreier, Jan
|
|
|
28 |
3 |
p. 450-471
|
artikel
|
| 5 |
Floating-point numbers round-off error analysis by constraint programming
|
Garcia, Rémy
|
|
|
28 |
3 |
p. 515
|
artikel
|
| 6 |
From declarative models to local search
|
Björdal, Gustav
|
|
|
28 |
3 |
p. 508-509
|
artikel
|
| 7 |
Learn and route: learning implicit preferences for vehicle routing
|
Canoy, Rocsildes
|
|
|
28 |
3 |
p. 363-396
|
artikel
|
| 8 |
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
|
Ulrich-Oltean, Felix
|
|
|
28 |
3 |
p. 397-426
|
artikel
|
| 9 |
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming
|
Castro, Margarita Paz
|
|
|
28 |
3 |
p. 511-512
|
artikel
|
| 10 |
Reasoning and inference for (Maximum) satisfiability: new insights
|
Cherif, Mohamed Sami
|
|
|
28 |
3 |
p. 513-514
|
artikel
|
| 11 |
Scheduling through logic-based tools
|
Coll Caballero, Jordi
|
|
|
28 |
3 |
p. 510
|
artikel
|
| 12 |
Security-Aware Database Migration Planning
|
Acikalin, Utku Umur
|
|
|
28 |
3 |
p. 472-505
|
artikel
|
| 13 |
Spacetime programming: a synchronous language for constraint search
|
Talbot, Pierre
|
|
|
28 |
3 |
p. 516-517
|
artikel
|
| 14 |
The extensional constraint
|
Verhaeghe, Hélène
|
|
|
28 |
3 |
p. 518
|
artikel
|
Tijdschrift beschrijving