Structured learning modulo theories

Stefano Teso, Roberto Sebastiani, Andrea Passerini. Structured learning modulo theories. Artificial Intelligence, 244:166-187, 2017. [doi]

Abstract

Abstract is missing.