Repositorios 7 Catálogos de Bibliotecas 1

Satisfiability 17 Formal logic 15 Boolean functions 11 Conjunctive normal forms 11 Propositional satisfiability 11 ALL-SAT 9 Automata theory 7 Automata composition 6 Construction approaches 6 Decision theory 6 FSA intersection 6 Finite automata 6 Finite state 6 Regular expressions 6 Running time 6 SAT solvers 6 Several variables 6 State-of-the-art performance 6 Benchmarking 4 Ciencias Informáticas 4 Clause learning 4 Data structures 4 Hybrid logics 4 Information systems 4 Intersection grammars (FSIG) 4 Linguistics 4 Modal language 4 Modal logic 4 Modal logics 4 Model checking 4