Buscas alternativas:
constraint logic » constraints toc (Expandir a busca)
and constraint » and constant (Expandir a busca)
constraint logic » constraints toc (Expandir a busca)
and constraint » and constant (Expandir a busca)
1
Assuntos:
“...Mathematical programming...”
Mixed integer linear programming and constraint logic programming : towards a unified modeling framework
Tese
2
Assuntos:
“...Constraint Logic Programming...”
Component assembly and theorem proving in constraint handling rules
Dissertação
3
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
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:
“...Logic programming...”
Aplicação de programação lógica por restrições para a otimização do sequenciamento de uma rede dutoviária
Tese
6
Assuntos:
“...Constraint programming (Computer science)...”
Programação por restrições aplicada a problemas de rearranjo de genomas
Dissertação
7
8
Assuntos:
“...Programação lógica...”
Programação em logica, prolog e restriçõs : poder de expressão v.s. eficiencia
Dissertação
9
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
10
Assuntos:
“...Programação lógica...”
Problemas de escalonamento no transporte coletivo : programação por restrições e outras tecnicas
Dissertação
11
Assuntos:
“...Linear programming...”
Programação das operações de transporte de derivados de petróleo em redes de dutos
Tese
12
Assuntos:
“...Integer programming...”
Sequencing operator counts with state-space search
Dissertação
13
Assuntos:
“...Binary integer linear programming...”
Desenvolvimento de modelos matemáticos para o diagnóstico de falta em sistemas de transmissão de energia elétrica
Tese
14
Assuntos:
“...Programação lógica por restrição...”
Metaheurísticas híbridas baseadas em programação por restrições para um problema de corte bidimensional guilhotinado com defeitos e restrições de precedência
Dissertação
15
“..., é adicionada a restrição mais violada. Portanto, a lógica de trabalho é parecida com a proposta apresentada...”
Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo
Tese
16
“...Programação lógica com restrições (constraint logic programming, ou CLP) é uma classe de linguagens...”
Objetos Inteligentes Baseados em CLP para Aplicações Científicas
Dissertação
17
“... um conjunto de restrições (Constraint Satisfaction Problems - CSP), modelados como expressões lógicas...”
Técnicas de contração de domínio de variáveis em verificação formal e detecção de vulnerabilidades de software usando programação por restrições e aritmética intervala...
Dissertação