Cargando…

Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing

We present a new semantic gate extraction technique for propositional formulas based on interpolation. While known gate detection methods are incomplete and rely on pattern matching or simple semantic conditions, this approach can detect any definition entailed by an input formula. As an application...

Descripción completa

Detalles Bibliográficos
Autor principal: Slivovsky, Friedrich
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363226/
http://dx.doi.org/10.1007/978-3-030-53288-8_24