Repositorios 1

BMC 2 Bisimulation 2 Computability and decidability 2 Expressive power 2 FORMALEX 2 Fuzzy logic 2 Heidelberg (CO) 2 Hybrid logics 2 Information theory 2 International (CO) 2 Linguistics 2 Modal logics 2 NUSMV 2 PICOSAT 2 SAT PROBLEM 2 Satisfiability (SAT) problems 2 UNSAT CORE 2 Undecidability 2 Algorithms 1 Ciencias Informáticas 1 SAT problem 1 cellular evolutionary algorithms; memetic algorithms; SAT problem 1