Buscas alternativas:
with theory » switch theory (Expandir a busca), path theory (Expandir a busca), bath theory (Expandir a busca)
with their » worth their (Expandir a busca), with the (Expandir a busca), with theme (Expandir a busca)
with theory » switch theory (Expandir a busca), path theory (Expandir a busca), bath theory (Expandir a busca)
with their » worth their (Expandir a busca), with the (Expandir a busca), with theme (Expandir a busca)
1
Assuntos:
“...Probabilistic satisfiability...”
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Tese
2
Assuntos:
“...Satisfiability...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
3
Assuntos:
“...Boolean satisfiability problem...”
Search strategies and phase transition in the Random Boolean satisfiability problem
Dissertação
4
5
Assuntos:
“...Satisfiability Modulo Theory...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
6
Assuntos:
“...Boolean satisfiability...”
Cell implementation through boolean satisfiability for conventional and emerging technologies
Tese
7
8
“... quantifier rank that is consistent with the sample. We consider the following classes of structures: monadic...”
Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability
Tese
9
Assuntos:
“...Satisfiability problems...”
Automated verification of care pathways using constraint programming
Dissertação
10
Assuntos:
“...Maximum satisfiability...”
Meta-aprendizagem aplicada a problemas de máxima satisfabilidade
Dissertação
11
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:
“...probabilistic satisfiability (PSAT)...”
Answer set programming probabilístico
Dissertação
14
Assuntos:
“...Satisfiability...”
SAT based environment for logical capacity evaluation of via configurable block templates
Tese
15
16
“... attempts with limited success to cope with the complexity of C++ program verification. This work describes...”
Formal verification to ensuring the memory safety of C++ Programs
Dissertação
17
Assuntos:
“...Boolean satisfiability method...”
Uma análise sobre a eficiência de geradores automáticos de padrões de teste híbridos
Dissertação
18
Assuntos:
“...Satisfiability (SAT)...”
Functional timing analysis of VLSI circuits containing complex gates
Tese
19
“... dos solucionadores de Satisfatibilidade Booleana (Boolean Satisfiability - SAT) e Teoria do Módulo...”
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Dissertação
20
“... 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