Login / Signup

TSAT++: an Open Platform for Satisfiability Modulo Theories.

Alessandro ArmandoClaudio CastelliniEnrico GiunchigliaMassimo IdiniMarco Maratea
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • modulo theories
  • satisfiability modulo theories
  • artificial intelligence
  • knowledge representation
  • answer set programming