Login / Signup

Boolean Abstractions for Realizability Modulo Theories (Extended version).

Andoni RodríguezCésar Sánchez
Published in: CoRR (2023)
Keyphrases
  • modulo theories
  • high level
  • boolean functions
  • special case
  • np complete
  • semantic web