Repositorios 1

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 4 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 ALL-SAT; model counting; FSA intersection; regular expression compilation; Non-clausal formula; clause learning 1 Ciencias Informáticas 1