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
17
Formal logic
15
Boolean functions
11
Conjunctive normal forms
11
Propositional satisfiability
11
ALL-SAT
9
Automata theory
7
Automata composition
6
Construction approaches
6
Decision theory
6
FSA intersection
6
Finite automata
6
Finite state
6
Regular expressions
6
Running time
6
SAT solvers
6
Several variables
6
State-of-the-art performance
6
Benchmarking
4
Ciencias Informáticas
4
Clause learning
4
Data structures
4
Hybrid logics
4
Information systems
4
Intersection grammars (FSIG)
4
Linguistics
4
Modal language
4
Modal logic
4
Modal logics
4
Model checking
4
-
1
-
2por Santarsiero, Luis HernánMaterias: “...Satisfiers...”
Publicado 2011
Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
3por Santarsiero, Luis HernánMaterias: “...Satisfiers...”
Publicado 2011
Aportado por: SEDICI (UNLP)Articulo -
4Materias: “...SATISFIERS...”
Artículo publishedVersion -
5Materias: “...SATISFIERS...”
-
6por Cecchi, LauraMaterias: “...Satisfiability problem...”
Publicado 1997
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7Publicado 2009Materias: “...Satisfiability...”
-
8Materias: “...Satisfiability...”
SER -
9Publicado 2011Materias: “...satisfiability...”
-
10
-
11
-
12Publicado 2017Materias: “...Satisfiability...”
-
13Materias: “...Satisfiability...”
SER -
14por Gonzalía, Carlos JoséMaterias: “...linear satisfiability checking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
15Publicado 2012Materias: “...Satisfiability...”
-
16por Abriola, Sergio AlejandroMaterias: “...SATISFIABILITY...”
Publicado 2017
Tesis doctoral publishedVersion -
17por Abriola, Sergio AlejandroMaterias: “...SATISFIABILITY...”
Publicado 2017
Tesis doctoral publishedVersion -
18
-
19
-
20Publicado 2009Materias: “...Clauses satisfiability...”