Repositorios 9 Catálogos de Bibliotecas 3 Revistas 1

Boolean functions 11 Conjunctive normal forms 11 ALL-SAT 9 Propositional satisfiability 9 Automata composition 6 Decision theory 6 FSA intersection 6 Finite state 6 Humans 6 Regular expressions 6 Running time 6 SAT solvers 6 Several variables 6 State-of-the-art performance 6 human 6 Conjunction 5 Animals 4 Benchmarking 4 Clause learning 4 Construction approaches 4 Finite automata 4 Intersection grammars (FSIG) 4 Model counting 4 Pattern matching 4 Regular expression compilation 4 article 4 nonhuman 4 unclassified drug 4 Automata theory 3 Boolean algebra 3