Login / Signup

Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints.

Hiroaki KozawaKiyoharu HamaguchiToshinobu Kashiwabara
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)
Keyphrases
  • constraint sets
  • constraint satisfaction
  • constraint language
  • modal logic
  • aggregation functions
  • lower bound
  • automated reasoning
  • equivalence relation
  • reasoning about actions