Buscas alternativas:
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability _ (Expandir a busca)
with theory » switch theory (Expandir a busca), with their (Expandir a busca), path theory (Expandir a busca)
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability _ (Expandir a busca)
with theory » switch theory (Expandir a busca), with their (Expandir a busca), path theory (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
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