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...
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 |
Ejemplares similares
-
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
por: Schlaipfer, Matthias, et al.
Publicado: (2020) -
How QBF Expansion Makes Strategy Extraction Hard
por: Chew, Leroy, et al.
Publicado: (2020) -
Building Strategies into QBF Proofs
por: Beyersdorff, Olaf, et al.
Publicado: (2020) -
Positional Games and QBF: The Corrective Encoding
por: Mayer-Eichberger, Valentin, et al.
Publicado: (2020) -
Interpol: An R package for preprocessing of protein sequences
por: Heider, Dominik, et al.
Publicado: (2011)