Navegar

Colección

Datos Estadísticas

Lista de

16th International Conference on Implementation and Application of Automata, CIAA 2011
1
2011
1
"Variable and clause ordering in an FSA approach to propositional satisfiability" (2011) Castaño, J.M.; Castaño, R. 16th International Conference on Implementation and Application of Automata, CIAA 2011. 6807 LNCS:76-87