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
4
Satisfiability problems
4
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis problems
2
Automata theory
2
Biomineralization
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Branching structures
2
Branching vector addition systems with state
2
Ciencias Informáticas
2
Computation theory
2
Control state
2
Counter systems
2
Coverability problem
2
Data structures
2
Decision making
2
Forestry
2
Formal logic
2
Linguistics
2
Logical language
2
Merging
2
Modal language
2
Modal logic
2
Model checking
2
Model checking problem
2
Novel techniques
2
-
1por Cecchi, LauraMaterias: “...Satisfiability problem...”
Publicado 1997
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3Publicado 2009Materias: “...Satisfiability problems...”
-
4Materias: “...Satisfiability problems...”
SER -
5Publicado 2017Materias: “...Satisfiability problems...”
-
6Materias: “...Satisfiability problems...”
SER -
7Materias: “...Boolean satisfiability problems...”
-
8por 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