Decision theory ALL-SAT 6 Automata composition 6 Boolean functions 6 Conjunctive normal forms 6 FSA intersection 6 Finite state 6 Propositional satisfiability 6 Regular expressions 6 Running time 6 SAT solvers 6 Several variables 6 State-of-the-art performance 6 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 Constrained Markov decision processes (CMDPs) 2 Control system analysis 2 Convergence of numerical methods 2 Ergodic structures 2 Markov processes 2 Optimal control systems 2 Optimization 2 Robustness (control systems) 2 Sensitivity analysis 2