nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
|
Liffiton, Mark |
|
2008 |
|
4 |
p. 415-442 |
artikel |
2 |
A Comparison of Traditional and Constraint-based HeuristicMethods on Vehicle Routing Problems with Side Constraints
|
Philip Kilby |
|
2000 |
|
4 |
p. 389-414 26 p. |
artikel |
3 |
A Comparison of Traditional and Constraint-based Heuristic Methods on Vehicle Routing Problems with Side Constraints
|
Kilby, Philip |
|
2000 |
|
4 |
p. 389-414 |
artikel |
4 |
A complexity perspective on entailment of parameterized linear constraints
|
Eirinakis, Pavlos |
|
2012 |
|
4 |
p. 461-487 |
artikel |
5 |
A Constraint-based Approach for Annotating Music Scores with Gestural Information
|
Radicioni, Daniele P. |
|
2007 |
|
4 |
p. 405-428 |
artikel |
6 |
A constraint programming approach to the additional relay placement problem in wireless sensor networks
|
Quesada, Luis |
|
2015 |
|
4 |
p. 433-451 |
artikel |
7 |
A Context for Constraint Satisfaction Problem Formulation Selection
|
James E. Borrett |
|
2001 |
|
4 |
p. 299-327 29 p. |
artikel |
8 |
A Cost-Regular Based Hybrid Column Generation Approach
|
Demassey, Sophie |
|
2006 |
|
4 |
p. 315-333 |
artikel |
9 |
Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems
|
Francesca Rossi |
|
2004 |
|
4 |
p. 311-332 22 p. |
artikel |
10 |
Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems
|
Rossi, Francesca |
|
2004 |
|
4 |
p. 311-332 |
artikel |
11 |
Adaptive constructive interval disjunction: algorithms and experiments
|
Neveu, Bertrand |
|
2015 |
|
4 |
p. 452-467 |
artikel |
12 |
A feature commonality-based search strategy to find high t-wise covering solutions in feature models
|
Vavrille, Mathieu |
|
|
|
4 |
p. 521-548 |
artikel |
13 |
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
|
Rossi, Roberto |
|
|
|
4 |
p. 490-517 |
artikel |
14 |
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
|
Rossi, Roberto |
|
2008 |
|
4 |
p. 490-517 |
artikel |
15 |
A Hybrid Method for the Planning and Scheduling
|
Hooker, J. N. |
|
2005 |
|
4 |
p. 385-401 |
artikel |
16 |
A hybrid tractable class for non-binary CSPs
|
El Mouelhi, Achref |
|
2015 |
|
4 |
p. 383-413 |
artikel |
17 |
A lagrangian propagator for artificial neural networks in constraint programming
|
Lombardi, Michele |
|
2015 |
|
4 |
p. 435-462 |
artikel |
18 |
Algorithmic Power from Declarative Use of Redundant Constraints
|
M. H. van Emden |
|
1999 |
|
4 |
p. 363-381 19 p. |
artikel |
19 |
Algorithmic Power from Declarative Use of Redundant Constraints
|
van Emden, M. H. |
|
1999 |
|
4 |
p. 363-381 |
artikel |
20 |
A Methodological View of Constraint Solving
|
Hubert Comon |
|
1999 |
|
4 |
p. 337-361 25 p. |
artikel |
21 |
A Methodological View of Constraint Solving
|
Comon, Hubert |
|
1999 |
|
4 |
p. 337-361 |
artikel |
22 |
An algorithm-independent measure of progress for linear constraint propagation
|
Sofranac, Boro |
|
|
|
4 |
p. 432-455 |
artikel |
23 |
An Analysis of Arithmetic Constraints on Integer Intervals
|
Apt, Krzysztof R. |
|
2007 |
|
4 |
p. 429-468 |
artikel |
24 |
An Application of CLP: Checking the Correctness of Theoremsin Geometry
|
Denis Bouhineau |
|
1999 |
|
4 |
p. 383-405 23 p. |
artikel |
25 |
An Application of CLP: Checking the Correctness of Theorems in Geometry
|
Bouhineau, Denis |
|
1999 |
|
4 |
p. 383-405 |
artikel |
26 |
An Inventory Management Problem
|
YVES CASEAU |
|
1998 |
|
4 |
p. 363-373 11 p. |
artikel |
27 |
An Inventory Management Problem
|
Caseau, Yves |
|
1998 |
|
4 |
p. 363-373 |
artikel |
28 |
A parametric filtering algorithm for the graph isomorphism problem
|
Sorlin, Sébastien |
|
|
|
4 |
p. 518-537 |
artikel |
29 |
A parametric filtering algorithm for the graph isomorphism problem
|
Sorlin, Sébastien |
|
2008 |
|
4 |
p. 518-537 |
artikel |
30 |
A Repeated-Update Problem in the DeltaBlue Algorithm
|
Tetsuya Suzuki |
|
1998 |
|
4 |
p. 331-341 11 p. |
artikel |
31 |
A Repeated-Update Problem in the DeltaBlue Algorithm
|
Suzuki, Tetsuya |
|
1998 |
|
4 |
p. 331-341 |
artikel |
32 |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems
|
Law, Yat Chiu |
|
2007 |
|
4 |
p. 469-505 |
artikel |
33 |
Auto-tabling for subproblem presolving in MiniZinc
|
Dekker, Jip J. |
|
2017 |
|
4 |
p. 512-529 |
artikel |
34 |
ℚ-bounds consistency for the spread constraint with variable mean
|
Loong, Soon Chee |
|
2016 |
|
4 |
p. 646-652 |
artikel |
35 |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
|
François Fages |
|
2004 |
|
4 |
p. 241-262 22 p. |
artikel |
36 |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
|
Fages, François |
|
2004 |
|
4 |
p. 241-262 |
artikel |
37 |
Combining Tree Partitioning, Precedence, and Incomparability Constraints
|
Beldiceanu, Nicolas |
|
|
|
4 |
p. 459-489 |
artikel |
38 |
Combining Tree Partitioning, Precedence, and Incomparability Constraints
|
Beldiceanu, Nicolas |
|
2008 |
|
4 |
p. 459-489 |
artikel |
39 |
Compiling CSPs into Tree-Driven Automata for Interactive Solving
|
Hélène Fargier |
|
2004 |
|
4 |
p. 263-287 25 p. |
artikel |
40 |
Compiling CSPs into Tree-Driven Automata for Interactive Solving
|
Fargier, Hélène |
|
2004 |
|
4 |
p. 263-287 |
artikel |
41 |
Constrained global optimization for wine blending
|
Vismara, Philippe |
|
2015 |
|
4 |
p. 597-615 |
artikel |
42 |
Constrained Graph Layout
|
Weiqing He |
|
1998 |
|
4 |
p. 289-314 26 p. |
artikel |
43 |
Constrained Graph Layout
|
He, Weiqing |
|
1998 |
|
4 |
p. 289-314 |
artikel |
44 |
Constraint-Based Attribute and Interval Planning
|
Jeremy Frank |
|
2003 |
|
4 |
p. 339-364 26 p. |
artikel |
45 |
Constraint-Based Attribute and Interval Planning
|
Frank, Jeremy |
|
2003 |
|
4 |
p. 339-364 |
artikel |
46 |
Constraint programming for wireless sensor networks
|
Hassani Bijarbooneh, Farshid |
|
2015 |
|
4 |
p. 508 |
artikel |
47 |
Constraints for membership in formal languages under systematic search and stochastic local search
|
He, Jun |
|
2015 |
|
4 |
p. 477-478 |
artikel |
48 |
Constraints meet concurrency
|
Mauro, Jacopo |
|
2015 |
|
4 |
p. 488-489 |
artikel |
49 |
Contraint-Based Combinators for Local Search
|
Hentenryck, Pascal Van |
|
2005 |
|
4 |
p. 363-384 |
artikel |
50 |
Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem
|
Houndji, Vinasetan Ratheil |
|
2018 |
|
4 |
p. 481-482 |
artikel |
51 |
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning
|
Ioannis Tsamardinos |
|
2003 |
|
4 |
p. 365-388 24 p. |
artikel |
52 |
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning
|
Tsamardinos, Ioannis |
|
2003 |
|
4 |
p. 365-388 |
artikel |
53 |
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions
|
Nattaf, Margaux |
|
2017 |
|
4 |
p. 530-547 |
artikel |
54 |
Decision diagrams for optimization
|
Cire, Andre Augusto |
|
2015 |
|
4 |
p. 494-495 |
artikel |
55 |
Decision support for disaster management through hybrid optimization
|
Coffrin, Carleton |
|
2015 |
|
4 |
p. 490-491 |
artikel |
56 |
Decision Tradeoff Using Example-Critiquing and Constraint Programming
|
Pearl Pu |
|
2004 |
|
4 |
p. 289-310 22 p. |
artikel |
57 |
Decision Tradeoff Using Example-Critiquing and Constraint Programming
|
Pu, Pearl |
|
2004 |
|
4 |
p. 289-310 |
artikel |
58 |
Declarative pattern mining using constraint programming
|
Guns, Tias |
|
2015 |
|
4 |
p. 492-493 |
artikel |
59 |
Dynamic structural symmetry breaking for constraint satisfaction problems
|
Flener, Pierre |
|
2008 |
|
4 |
p. 506-538 |
artikel |
60 |
Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems
|
Paparrizou, Anastasia |
|
2015 |
|
4 |
p. 484-485 |
artikel |
61 |
Efficient filtering for the Resource-Cost AllDifferent constraint
|
Cauwelaert, Sascha Van |
|
2017 |
|
4 |
p. 493-511 |
artikel |
62 |
Efficient search procedures for solving combinatorial problems
|
Kadioglu, Serdar |
|
2015 |
|
4 |
p. 475-476 |
artikel |
63 |
Enabling local computation for partially ordered preferences
|
Fargier, Hélène |
|
2010 |
|
4 |
p. 516-539 |
artikel |
64 |
Evaluating ASP and Commercial Solvers on the CSPLib
|
Mancini, Toni |
|
|
|
4 |
p. 407-436 |
artikel |
65 |
Evaluating ASP and Commercial Solvers on the CSPLib
|
Mancini, Toni |
|
2007 |
|
4 |
p. 407-436 |
artikel |
66 |
Explanation-based large neighborhood search
|
Prud’homme, Charles |
|
2014 |
|
4 |
p. 339-379 |
artikel |
67 |
Extending SMT solvers with support for finite domain alldifferent constraint
|
Banković, Milan |
|
2015 |
|
4 |
p. 463-494 |
artikel |
68 |
Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities
|
Vilím, Petr |
|
2005 |
|
4 |
p. 403-425 |
artikel |
69 |
Filtering Algorithms for the NValue Constraint
|
Bessiere, Christian |
|
2006 |
|
4 |
p. 271-293 |
artikel |
70 |
From MDD to BDD and Arc consistency
|
Vion, Julien |
|
2018 |
|
4 |
p. 451-480 |
artikel |
71 |
From Prolog III to Prolog IV: The Logic of Constraint ProgrammingRevisited
|
Guy A. Narboni |
|
1999 |
|
4 |
p. 313-335 23 p. |
artikel |
72 |
From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited
|
Narboni, Guy A. |
|
1999 |
|
4 |
p. 313-335 |
artikel |
73 |
Graph coloring inequalities from all-different systems
|
Bergman, David |
|
2014 |
|
4 |
p. 404-433 |
artikel |
74 |
Guest Editorial
|
Jacques Cohen |
|
1999 |
|
4 |
p. 307-311 5 p. |
artikel |
75 |
Guest Editorial
|
Cohen, Jacques |
|
1999 |
|
4 |
p. 307-311 |
artikel |
76 |
Guided Genetic Algorithm and its Application to Radio Link Frequency Assignment Problems
|
T. L. Lau |
|
2001 |
|
4 |
p. 373-398 26 p. |
artikel |
77 |
Guided Genetic Algorithm and its Application to Radio Link Frequency Assignment Problems
|
Lau, T. L. |
|
2001 |
|
4 |
p. 373-398 |
artikel |
78 |
Hybrid meta-heuristics for combinatorial optimization
|
Urli, Tommaso |
|
2015 |
|
4 |
p. 473 |
artikel |
79 |
Identifying and Exploiting Problem Structures Using Explanation-based Constraint Programming
|
Cambazard, Hadrien |
|
2006 |
|
4 |
p. 295-313 |
artikel |
80 |
Instance-specific algorithm configuration
|
Malitsky, Yuri |
|
2015 |
|
4 |
p. 474 |
artikel |
81 |
Interleaving solving and elicitation of constraint satisfaction problems based on expected cost
|
Wilson, Nic |
|
2010 |
|
4 |
p. 540-573 |
artikel |
82 |
Interval-based projection method for under-constrained numerical systems
|
Ishii, Daisuke |
|
2012 |
|
4 |
p. 432-460 |
artikel |
83 |
Introduction
|
J. Christopher Beck |
|
2000 |
|
4 |
p. 327-334 8 p. |
artikel |
84 |
Introduction
|
|
|
2005 |
|
4 |
p. 283-305 |
artikel |
85 |
Introduction
|
Beck, J. Christopher |
|
2000 |
|
4 |
p. 327-334 |
artikel |
86 |
Introduction to the CPAIOR 2017 fast track issue
|
Salvagnin, Domenico |
|
2017 |
|
4 |
p. 491-492 |
artikel |
87 |
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning
|
Meseguer, Pedro |
|
2010 |
|
4 |
p. 453-455 |
artikel |
88 |
Introduction to the special issue on CSP technologies in artificial intelligence
|
Grégoire, Éric |
|
2015 |
|
4 |
p. 381-382 |
artikel |
89 |
Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming
|
Alexander Nareyek |
|
2003 |
|
4 |
p. 335-338 4 p. |
artikel |
90 |
Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming
|
Nareyek, Alexander |
|
2003 |
|
4 |
p. 335-338 |
artikel |
91 |
Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)
|
Barták, Roman |
|
2006 |
|
4 |
p. 269-270 |
artikel |
92 |
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction
|
Barry O'Sullivan |
|
2004 |
|
4 |
p. 239-240 2 p. |
artikel |
93 |
Introduction to the Special Issue on User-Interaction in Constraint Satisfaction
|
O'Sullivan, Barry |
|
2004 |
|
4 |
p. 239-240 |
artikel |
94 |
Iterative and core-guided MaxSAT solving: A survey and assessment
|
Morgado, Antonio |
|
2013 |
|
4 |
p. 478-534 |
artikel |
95 |
Keep-Best Reproduction: A Local Family Competition Selection Strategy and the Environment it Flourishes in
|
Kay C. Wiese |
|
2001 |
|
4 |
p. 399-422 24 p. |
artikel |
96 |
Keep–Best Reproduction: A Local Family Competition Selection Strategy and the Environment it Flourishes in
|
Wiese, Kay C. |
|
2001 |
|
4 |
p. 399-422 |
artikel |
97 |
LS(Graph): a constraint-based local search for constraint optimization on trees and paths
|
Pham, Quang Dung |
|
2012 |
|
4 |
p. 357-408 |
artikel |
98 |
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
|
Azevedo, Francisco |
|
2007 |
|
4 |
p. 507-538 |
artikel |
99 |
MDD propagators with explanation
|
Gange, Graeme |
|
2011 |
|
4 |
p. 407-429 |
artikel |
100 |
meSAT: multiple encodings of CSP to SAT
|
Stojadinović, Mirko |
|
2014 |
|
4 |
p. 380-403 |
artikel |
101 |
MiniBrass: Soft constraints for MiniZinc
|
Schiendorfer, Alexander |
|
2018 |
|
4 |
p. 403-450 |
artikel |
102 |
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
|
Cooper, Martin C. |
|
|
|
4 |
p. 437-458 |
artikel |
103 |
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
|
Cooper, Martin C. |
|
2007 |
|
4 |
p. 437-458 |
artikel |
104 |
Mining Time-constrained Sequential Patterns with Constraint Programming
|
Aoga, John O. R. |
|
2017 |
|
4 |
p. 548-570 |
artikel |
105 |
Models and emerging trends of concurrent constraint programming
|
Olarte, Carlos |
|
2013 |
|
4 |
p. 535-578 |
artikel |
106 |
Multiconsistency and Robustness with Global Constraints
|
Elbassioni, Khaled |
|
2006 |
|
4 |
p. 335-352 |
artikel |
107 |
Negation as Failure as Resolution
|
Vijay Chandru |
|
1998 |
|
4 |
p. 315-329 15 p. |
artikel |
108 |
Negation as Failure as Resolution
|
Chandru, Vijay |
|
1998 |
|
4 |
p. 315-329 |
artikel |
109 |
New algorithms for max restricted path consistency
|
Balafoutis, Thanasis |
|
2011 |
|
4 |
p. 372-406 |
artikel |
110 |
New techniques for discrete optimization
|
Bergman, David |
|
2015 |
|
4 |
p. 486-487 |
artikel |
111 |
Non-binary quantified CSP: algorithms and modelling
|
Nightingale, Peter |
|
2009 |
|
4 |
p. 539-581 |
artikel |
112 |
Nondeterministic Control for Hybrid Search
|
Hentenryck, Pascal Van |
|
2006 |
|
4 |
p. 353-373 |
artikel |
113 |
On Algorithm Selection, with an application to combinatorial search problems
|
Kotthoff, Lars |
|
2015 |
|
4 |
p. 481-482 |
artikel |
114 |
On a new extension of BTP for binary CSPs
|
Mouelhi, Achref El |
|
2018 |
|
4 |
p. 355-382 |
artikel |
115 |
On getting rid of the preprocessing minimization step in MUC-finding algorithms
|
Grégoire, Éric |
|
2015 |
|
4 |
p. 414-432 |
artikel |
116 |
On implementing symmetry detection
|
Mears, C. |
|
2008 |
|
4 |
p. 443-477 |
artikel |
117 |
On the use of graphs within constraint-programming
|
Fages, Jean-Guillaume |
|
2015 |
|
4 |
p. 498-499 |
artikel |
118 |
Operating room management under uncertainty
|
Gauthier, Jean Bertrand |
|
2015 |
|
4 |
p. 577-596 |
artikel |
119 |
Optimal multivariate decision trees
|
Boutilier, Justin |
|
|
|
4 |
p. 549-577 |
artikel |
120 |
Parallel search for maximum satisfiability
|
Martins, Ruben |
|
2015 |
|
4 |
p. 469-470 |
artikel |
121 |
PhD theses in constraints 2012–2015
|
Tack, Guido |
|
2015 |
|
4 |
p. 468 |
artikel |
122 |
Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs
|
Alfonso Gerevini |
|
2003 |
|
4 |
p. 389-413 25 p. |
artikel |
123 |
Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs
|
Gerevini, Alfonso |
|
2003 |
|
4 |
p. 389-413 |
artikel |
124 |
Portfolio approaches in constraint programming
|
Amadini, Roberto |
|
2015 |
|
4 |
p. 483 |
artikel |
125 |
Preference reasoning with soft constraints in constraint-based recommender systems
|
Zanker, Markus |
|
2010 |
|
4 |
p. 574-595 |
artikel |
126 |
Probabilistic constraint reasoning
|
Carvalho, Elsa |
|
2015 |
|
4 |
p. 509-510 |
artikel |
127 |
Probe Backtrack Search for Minimal Perturbation in DynamicScheduling
|
Hani El Sakkout |
|
2000 |
|
4 |
p. 359-388 30 p. |
artikel |
128 |
Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling
|
Sakkout, Hani El |
|
2000 |
|
4 |
p. 359-388 |
artikel |
129 |
Propagation techniques of resource constraint for cumulative scheduling
|
Kameugne, Roger |
|
2015 |
|
4 |
p. 506-507 |
artikel |
130 |
Random Constraint Satisfaction: A More Accurate Picture
|
Dimitris Achlioptas |
|
2001 |
|
4 |
p. 329-344 16 p. |
artikel |
131 |
Random Constraint Satisfaction: A More Accurate Picture
|
Achlioptas, Dimitris |
|
2001 |
|
4 |
p. 329-344 |
artikel |
132 |
Random Constraint Satisfaction: Flaws and Structure
|
Ian P. Gent |
|
2001 |
|
4 |
p. 345-372 28 p. |
artikel |
133 |
Random Constraint Satisfaction: Flaws and Structure
|
Gent, Ian P. |
|
2001 |
|
4 |
p. 345-372 |
artikel |
134 |
Range-only SLAM with indistinguishable landmarks; a constraint programming approach
|
Jaulin, Luc |
|
2015 |
|
4 |
p. 557-576 |
artikel |
135 |
Redundant disequalities in the Latin Square problem
|
Demoen, Bart |
|
2013 |
|
4 |
p. 471-477 |
artikel |
136 |
Reformulation of Global Constraints Based on Constraints Checkers
|
Beldiceanu, Nicolas |
|
2005 |
|
4 |
p. 339-362 |
artikel |
137 |
Resolution-based lower bounds in MaxSAT
|
Li, Chu Min |
|
2010 |
|
4 |
p. 456-484 |
artikel |
138 |
Resource Constraints for Preemptive Job-shop Scheduling
|
CLAUDE LE PAPE |
|
1998 |
|
4 |
p. 263-287 25 p. |
artikel |
139 |
Resource Constraints for Preemptive Job-shop Scheduling
|
Pape, Claude Le |
|
1998 |
|
4 |
p. 263-287 |
artikel |
140 |
Robustness and stability in dynamic constraint satisfaction problems
|
Climent, Laura |
|
2015 |
|
4 |
p. 502-503 |
artikel |
141 |
Scaling DCOP algorithms for cooperative multi-agent coordination
|
Pujol-Gonzalez, Marc |
|
2015 |
|
4 |
p. 496-497 |
artikel |
142 |
Scheduling of Time-Triggered Real-Time Systems
|
Klaus Schild |
|
2000 |
|
4 |
p. 335-357 23 p. |
artikel |
143 |
Scheduling of Time-Triggered Real-Time Systems
|
Schild, Klaus |
|
2000 |
|
4 |
p. 335-357 |
artikel |
144 |
Scheduling under Labour Resource Constraints
|
Susanne Heipcke |
|
2000 |
|
4 |
p. 415-422 8 p. |
artikel |
145 |
Scheduling under Labour Resource Constraints
|
Heipcke, Susanne |
|
2000 |
|
4 |
p. 415-422 |
artikel |
146 |
Search, propagation, and learning in sequencing and scheduling problems
|
Siala, Mohamed |
|
2015 |
|
4 |
p. 479-480 |
artikel |
147 |
Short- and medium-term optimization of underground mine planning using constraint programming
|
Campeau, Louis-Pierre |
|
|
|
4 |
p. 414-431 |
artikel |
148 |
Side-channel cryptographic attacks using pseudo-boolean optimization
|
Oren, Yossef |
|
2015 |
|
4 |
p. 616-645 |
artikel |
149 |
Solution sampling with random table constraints
|
Vavrille, Mathieu |
|
|
|
4 |
p. 381-413 |
artikel |
150 |
Solving satisfiability problems with preferences
|
Di Rosa, Emanuele |
|
2010 |
|
4 |
p. 485-515 |
artikel |
151 |
Solving the quorumcast routing problem by constraint programming
|
Pham, Quang Dung |
|
2012 |
|
4 |
p. 409-431 |
artikel |
152 |
Spatio-temporal Conflict Detection and Resolution
|
Richard J. Howarth |
|
1998 |
|
4 |
p. 343-361 19 p. |
artikel |
153 |
Spatio-temporal Conflict Detection and Resolution
|
Howarth, Richard J. |
|
1998 |
|
4 |
p. 343-361 |
artikel |
154 |
Statistical Regimes Across Constrainedness Regions
|
Gomes, Carla P. |
|
2005 |
|
4 |
p. 317-337 |
artikel |
155 |
Strong consistencies for weighted constraint satisfaction problems
|
Nguyen, Thi Hong Hiep |
|
2015 |
|
4 |
p. 471-472 |
artikel |
156 |
STR2: optimized simple tabular reduction for table constraints
|
Lecoutre, Christophe |
|
2011 |
|
4 |
p. 341-371 |
artikel |
157 |
SymChaff: exploiting symmetry in a structure-aware satisfiability solver
|
Sabharwal, Ashish |
|
2008 |
|
4 |
p. 478-505 |
artikel |
158 |
Symmetries, almost symmetries, and lazy clause generation
|
Chu, Geoffrey |
|
2014 |
|
4 |
p. 434-462 |
artikel |
159 |
Theoretical insights and algorithmic tools for decision diagram-based optimization
|
Bergman, David |
|
2016 |
|
4 |
p. 533-556 |
artikel |
160 |
Three generalizations of the FOCUS constraint
|
Narodytska, Nina |
|
2015 |
|
4 |
p. 495-532 |
artikel |
161 |
Towards next generation sequential and parallel SAT solvers
|
Manthey, Norbert |
|
2015 |
|
4 |
p. 504-505 |
artikel |
162 |
Transformations of representation in constraint satisfaction
|
Salamon, András Z. |
|
2015 |
|
4 |
p. 500-501 |
artikel |
163 |
Translation-based approaches for solving disjunctive temporal problems with preferences
|
Giunchiglia, Enrico |
|
2018 |
|
4 |
p. 383-402 |
artikel |
164 |
View-based propagation of decomposable constraints
|
Correia, Marco |
|
2013 |
|
4 |
p. 579-608 |
artikel |