SAT and SMT Technology for Many-Valued Logics.

Carlos Ansótegui Miquel Bofill Felip Manyà Mateu Villaret

Published in: J. Multiple Valued Log. Soft Comput. (2015)

Keyphrases

modal logic
search algorithm
case study
truth values
modulo theories
rapid development
expressive power
satisfiability problem
sat solvers
concept lattice
key technologies
inference rules
sat problem
classical logic
computational properties
propositional satisfiability
cost effective
computer systems