Login / Signup

Realizability modulo theories.

Andoni RodríguezCésar Sánchez
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • modulo theories
  • answer set programming
  • satisfiability modulo theories
  • stable model semantics
  • logic programming
  • orders of magnitude