Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Satisfiability
16
Formal logic
15
Boolean functions
10
Conjunctive normal forms
10
Propositional satisfiability
10
ALL-SAT
8
Automata theory
7
Automata composition
5
Construction approaches
5
Decision theory
5
FSA intersection
5
Finite automata
5
Finite state
5
Regular expressions
5
Running time
5
SAT solvers
5
Several variables
5
State-of-the-art performance
5
Data structures
4
Hybrid logics
4
Information systems
4
Linguistics
4
Modal language
4
Modal logic
4
Modal logics
4
Model checking
4
Novel techniques
4
Propositional logic
4
Satisfiability problems
4
Benchmarking
3
-
1Materias: “...SATISFIERS...”
Artículo publishedVersion -
2Materias: “...SATISFIERS...”
-
3Publicado 2009Materias: “...Satisfiability...”
-
4Materias: “...Satisfiability...”
SER -
5Publicado 2011Materias: “...satisfiability...”
-
6
-
7Publicado 2017Materias: “...Satisfiability...”
-
8Materias: “...Satisfiability...”
SER -
9Publicado 2012Materias: “...Satisfiability...”
-
10por Abriola, Sergio AlejandroMaterias: “...SATISFIABILITY...”
Publicado 2017
Tesis doctoral publishedVersion -
11
-
12
-
13Publicado 2009Materias: “...Clauses satisfiability...”
-
14
-
15
-
16Materias: “...Satisfiability...”
SER -
17por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Satisfiability (SAT) problems...”
Publicado 2008
-
18Materias: “...Satisfiability (SAT) problems...”
SER -
19Materias: “...Boolean satisfiability problems...”
-
20por Rosner, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Boolean satisfiability problems...”
SER