1
Assuntos:
“...Satisfiability...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
2
Assuntos:
“...Satisfiability...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
3
4
Assuntos:
“...Satisfiability Modulo Theories (SMT)...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
5
Assuntos:
“...Satisfiability problems...”
Automated verification of care pathways using constraint programming
Dissertação
6
Assuntos:
“...Maximum satisfiability...”
Meta-aprendizagem aplicada a problemas de máxima satisfabilidade
Dissertação
7
Assuntos:
“...probabilistic satisfiability (PSAT)...”
Answer set programming probabilístico
Dissertação
8
Assuntos:
“...Boolean satisfiability problem...”
Search strategies and phase transition in the Random Boolean satisfiability problem
Dissertação
9
10
11
Assuntos:
“...Satisfiability...”
SAT based environment for logical capacity evaluation of via configurable block templates
Tese
12
Assuntos:
“...Satisfiability problem...”
Escalonamento de projetos com restrição de recursos e precedências generalizadas: um método exato de resolução
Tese
13
Assuntos:
“...Satisfiability (SAT)...”
Functional timing analysis of VLSI circuits containing complex gates
Tese
14
Assuntos:
“...Boolean satisfiability method...”
Uma análise sobre a eficiência de geradores automáticos de padrões de teste híbridos
Dissertação
15
Assuntos:
“...Boolean satisfiability...”
Cell implementation through boolean satisfiability for conventional and emerging technologies
Tese
16
Assuntos:
“...Probabilistic satisfiability...”
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Tese