Login / Signup

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers.

Carlos AnsóteguiMiquel BofillFelip 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