Parallelizing SMT solving: Lazy decomposition and conciliation

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.2018.01.001

View full text

>> Full Text: Parallelizing SMT solving: Lazy decomposition and conciliation

Enhancing context knowledge repositories with justifiable exceptions

A general semi-structured formalism for computational argumentation: Definition, properties, and exa