Monitoring modulo theories.

Normann Decker Martin Leucker Daniel Thoma

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases

modulo theories
answer set programming
learning algorithm