Buscas alternativas:
satisfiability mills » satisfiability modulo (Expandir a busca), satisfiability method (Expandir a busca), satisfiability sat (Expandir a busca)
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability and (Expandir a busca)
satisfiability mills » satisfiability modulo (Expandir a busca), satisfiability method (Expandir a busca), satisfiability sat (Expandir a busca)
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability and (Expandir a busca)
1
Assuntos:
“...Probabilistic satisfiability...”
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Tese
2
Assuntos:
“...Satisfiability Modulo Theory...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
3
Assuntos:
“...Satisfiability...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
4
5
“... models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the...”
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
Dissertação
6
“... extensions of Description Logics with the Rough Set theory are introduced in this dissertation. We will prove...”
Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets
Dissertação
7
“... a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese