Mostrando
1 - 6
Resultados de
6
Para Buscar '
Castano, J.M.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Castano, J.M.
Mostrando
1 - 6
Resultados de
6
Para Buscar '
Castano, J.M.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A parsing approach to SAT
por
Castano
,
J.M
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
Two views on crossing dependencies, language, biology and satisfiability
por
Castaño
,
J.M
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
3
A finite state intersection approach to propositional satisfiability
por
Castaño
,
J.M
.
,
Castaño, R.
Publicado 2012
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
4
A finite state intersection approach to propositional satisfiability
por
Castaño
,
J.M
.
,
Castaño, R.
Publicado 2012
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Artículo
publishedVersion
Agregar a favoritos
Guardado en:
5
Variable and clause ordering in an FSA approach to propositional satisfiability
por
Castaño
,
J.M
.
,
Castaño, R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
6
A finite state intersection approach to propositional satisfiability
por
Castaño
,
J.M
.
,
Castaño, R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Propositional satisfiability
ALL-SAT
Boolean functions
Conjunctive normal forms
Automata composition
Construction approaches
Decision theory
FSA intersection
Finite automata
Finite state
Regular expressions
Running time
SAT solvers
Several variables
State-of-the-art performance
Benchmarking
Clause learning
Intersection grammars (FSIG)
Model counting
Pattern matching
Regular expression compilation
Automata theory
Formal logic
Biology
Boolean algebra
Computational complexity
Computational grammars
Context free grammars
Context sensitive
Crossing dependencies
Cargando...