2
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
3
Assuntos:
“...Constraint qualification...”
Constant rank-type constraint qualifications and second-order optimality conditions
Tese
4
“... SoS architecture in terms of a constraint satisfaction problem that can be automatically analyzed...”
Synthesis of software architectures for systems-of-systems: an automated method by constraint solving
Tese
5
6
8
9
10
“...This work develops a design protocol for wave energy converter motion constraint, endstop systems...”
Investigation of end-stop motion constraint for a wave energy converter
Dissertação
11
12
13
Assuntos:
“...Constraint-Based Scheduling (CBS)...”
Towards Model-Driven Engineering Constraint-Based Scheduling Applications
Dissertação
14
Assuntos:
“...Constraint Satisfaction Problems...”
CHORD: constraint handling object-oriented rules with disjunctions
Dissertação
15
Assuntos:
“...Constraint Logic Programming...”
Component assembly and theorem proving in constraint handling rules
Dissertação
16
Assuntos:
“...Constraint Logic Programming...”
CHROME: a model-driven component-based rule engine
Tese
17
“... Research (OR) and Constraint Programming (CP) optimization techniques are beginning to converge, despite...”
Mixed integer linear programming and constraint logic programming : towards a unified modeling framework
Tese
18
19
20
Assuntos:
“...Imperative Object Constraint Language...”
Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models
Dissertação