Construction approaches 6 Finite automata 6 Propositional satisfiability 6 ALL-SAT 4 Automata composition 4 Benchmarking 4 Boolean functions 4 Clause learning 4 Conjunctive normal forms 4 Decision theory 4 FSA intersection 4 Finite state 4 Intersection grammars (FSIG) 4 Model counting 4 Pattern matching 4 Regular expression compilation 4 Regular expressions 4 Running time 4 SAT solvers 4 Several variables 4 State-of-the-art performance 4 Automata theory 2 Biology 2 Computational grammars 2 Context free grammars 2 Context sensitive 2 Crossing dependencies 2 Finite state technology 2 Formal logic 2 Natural languages 2