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
“... be applied to it. This work proposes to apply methods of Query Refinement based on Rough Set theory, using...”
Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets
Dissertação
7
8
“... 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
9
“... (Yices e Z3) que adotam uma estratégia de busca determinística com base na Satisfiability Modulo Theory...”
Uma Abordagem Multi-objetivo para Redução do Risco da Insatisfação dos Stakeholders no Planejamento de Versões de Software
Tese