A Generic Framework for Implicate Generation Modulo Theories.

Mnacho Echenim Nicolas Peltier Yanis Sellami

Published in: IJCAR (2018)

Keyphrases

modulo theories
search algorithm
knowledge base