ALL-SAT 4 Automata composition 4 Benchmarking 4 Boolean functions 4 Clause learning 4 Conjunctive normal forms 4 Construction approaches 4 Decision theory 4 FSA intersection 4 Finite automata 4 Finite state 4 Intersection grammars (FSIG) 4 Model counting 4 Pattern matching Propositional satisfiability 4 Regular expression compilation 4 Regular expressions 4 Running time 4 SAT solvers 4 Several variables 4 State-of-the-art performance 4