Buscas alternativas:
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability _ (Expandir a busca)
with their » with the (Expandir a busca), with theme (Expandir a busca), with other (Expandir a busca)
satisfiability with » satisfiability sat (Expandir a busca), satisfiability method (Expandir a busca), satisfiability _ (Expandir a busca)
with their » with the (Expandir a busca), with theme (Expandir a busca), with other (Expandir a busca)
1
Assuntos:
“...Boolean satisfiability problem...”
Search strategies and phase transition in the Random Boolean satisfiability problem
Dissertação
2
Assuntos:
“...Satisfiability...”
Parameterized complexity investigations on the first-order satisfiability and matching problems
Tese
3
Assuntos:
“...Probabilistic satisfiability...”
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Tese
4
5
Assuntos:
“...Boolean satisfiability...”
Cell implementation through boolean satisfiability for conventional and emerging technologies
Tese
6
7
Assuntos:
“...Satisfiability...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
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
Assuntos:
“...Satisfiability problem...”
Escalonamento de projetos com restrição de recursos e precedências generalizadas: um método exato de resolução
Tese
12
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