Advanced SMT techniques for weighted model integration

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2019.04.003

View full text

>> Full Text: Advanced SMT techniques for weighted model integration

Editorial Board

Vicious circle principle, aggregates, and formation of sets in ASP based languages