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.
Boolean functions
11
Conjunctive normal forms
11
Normal form
10
ALL-SAT
9
Propositional satisfiability
9
Finite state
8
Automata composition
6
Computer circuits
6
Decision theory
6
FSA intersection
6
Regular expressions
6
Running time
6
SAT solvers
6
Several variables
6
State-of-the-art performance
6
Benchmarking
4
Calculations
4
Clause learning
4
Computation theory
4
Construction approaches
4
Finite automata
4
Intersection grammars (FSIG)
4
Modal logic
4
Model counting
4
Normal forms
4
Pattern matching
4
Regular expression compilation
4
AUTOMATED REASONING
3
Automata theory
3
Boolean algebra
3
-
1
-
2Materias: “...Normal form...”
JOUR -
3Publicado 2015Materias: “...Normal form...”
-
4Materias: “...Normal form...”
SER -
5Publicado 2010Materias: “...Normal forms...”
-
6
-
7
-
8Materias: “...Normal form...”
JOUR -
9Publicado 2018Materias: “...Normal form...”
-
10Materias: “...Normal form...”
JOUR -
11Publicado 1994Materias: “...Normal form theory...”
-
12Materias: “...Normal form theory...”
JOUR -
13
-
14Publicado 2011Materias: “...Prenex normal forms...”
-
15Materias: “...Prenex normal forms...”
SER -
16por Scaffardi, Lucía Beatriz, Bilmes, Gabriel Mario, Schinca, Daniel Carlos, Tocho, Jorge OmarMaterias: “...Normal forms...”
Publicado 1987
Aportado por: SEDICI (UNLP)Articulo -
17Publicado 2014Materias: “...Conjunctive normal forms...”
-
18Publicado 2011Materias: “...Conjunctive normal forms...”
-
19Publicado 2014Materias: “...Conjunctive normal forms...”
-
20por Gorín, Daniel AlejandroMaterias: “...NORMAL FORMS...”
Publicado 2009
Tesis doctoral publishedVersion