Learning SMT(LRA) constraints using SMT solvers

Kolb, S ; Teso, S ; Passerini, A ; De Raedt, L Lang, J

IJCAI International Joint Conference on Artificial Intelligence, 2018, Vol.2018-July, p.2333-2340 [Periódico revisado por pares]

IJCAI-INT JOINT CONF ARTIF INTELL

Texto completo disponível