Login / Signup

Boolean Abstractions for Realizability Modulo Theories.

Andoni RodríguezCésar Sánchez
Published in: CAV (3) (2023)
Keyphrases
  • modulo theories
  • answer set programming
  • high level
  • boolean functions
  • satisfiability modulo theories
  • stable model semantics
  • lower bound
  • special case
  • search strategy