Login / Signup
Boolean Abstractions for Realizability Modulo Theories (Extended version).
Andoni Rodríguez
César Sánchez
Published in:
CoRR (2023)
Keyphrases
</>
modulo theories
high level
boolean functions
special case
np complete
semantic web