Login / Signup
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers.
Carlos Ansótegui
Miquel Bofill
Felip Manyà
Mateu Villaret
Published in:
Fuzzy Sets Syst. (2016)
Keyphrases
</>
computer algebra
automated theorem provers
phase transition
data mining
satisfiability problem
sat solvers
np complete
sat instances
sat solving
quantified boolean formulas