Login / Signup

Reusing Solutions Modulo Theories.

Andrea AquinoGiovanni DenaroMauro Pezzè
Published in: IEEE Trans. Software Eng. (2021)
Keyphrases
  • modulo theories
  • evolutionary algorithm
  • np hard
  • object oriented
  • answer set programming