1
Assuntos:
“...Mathematical programming...”
Mixed integer linear programming and constraint logic programming : towards a unified modeling framework
Tese
2
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
3
Assuntos:
“...Constraint Logic Programming...”
Component assembly and theorem proving in constraint handling rules
Dissertação
4
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
5
Assuntos:
“...Constraint Logic Programming...”
CHROME: a model-driven component-based rule engine
Tese
6
Assuntos:
“...Constraint Satisfaction Problems...”
CHORD: constraint handling object-oriented rules with disjunctions
Dissertação
7
Assuntos:
“...Constraint programming (Computer science)...”
Programação por restrições aplicada a problemas de rearranjo de genomas
Dissertação
8
Assuntos:
“...Logic programming...”
Aplicação de programação lógica por restrições para a otimização do sequenciamento de uma rede dutoviária
Tese
9
Assuntos:
“...Linear programming...”
Methodology for mapping quantum and reversible circuits to IBM Q architectures
Tese
10
11
Assuntos:
“...Lógica de transações...”
Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações.
Tese
12
Assuntos:
“...Object-oriented logic programming...”
MODELOG : model-oriented development with executable logical object generation
Tese
13
Assuntos:
“...Programação lógica...”
Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia
Dissertação
14
Assuntos:
“...Programação logica...”
Utilizando técnicas de programação lógica indutiva para mineração de banco de dados relacional
Dissertação
15
Assuntos:
“...Programação lógica...”
Problemas de escalonamento no transporte coletivo : programação por restrições e outras tecnicas
Dissertação
16
Assuntos:
“...Lógica simbólica e matemática...”
Otimização de sistemas intervalares não lineares acíclicos
Dissertação
17
18
Assuntos:
“...Sistemas inteligentes. Redes de escoamento de petróleo. Lógica fuzzy...”
Sistema inteligente para apoio à decisão na operação de uma malha de escoamento de petróleo
Dissertação
19
Assuntos:
“...Integer programming...”
Sequencing operator counts with state-space search
Dissertação
20
Assuntos:
“...Linear programming...”
Programação das operações de transporte de derivados de petróleo em redes de dutos
Tese