Cargando…

Monadic Decomposition in Integer Linear Arithmetic

Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, Veanes et al. showed the usefulness of monadic decomposability in the context of SMT (i.e. t...

Descripción completa

Detalles Bibliográficos
Autores principales: Hague, Matthew, Lin, Anthony W., Rümmer, Philipp, Wu, Zhilin
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324128/
http://dx.doi.org/10.1007/978-3-030-51074-9_8

Ejemplares similares