Cargando…

Long-Distance Q-Resolution with Dependency Schemes

Resolution proof systems for quantified Boolean formulas (QBFs) provide a formal model for studying the limitations of state-of-the-art search-based QBF solvers that use these systems to generate proofs. We study a combination of two proof systems supported by the solver DepQBF: Q-resolution with ge...

Descripción completa

Detalles Bibliográficos
Autores principales:	Peitl, Tomáš, Slivovsky, Friedrich, Szeider, Stefan
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Springer Netherlands 2018
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6478654/ https://www.ncbi.nlm.nih.gov/pubmed/31105366 http://dx.doi.org/10.1007/s10817-018-9467-3

Ejemplares similares

Short Q-Resolution Proofs with Homomorphisms
por: Shukla, Ankit, et al.
Publicado: (2020)

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
por: Slivovsky, Friedrich, et al.
Publicado: (2020)

Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths
por: Beyersdorff, Olaf, et al.
Publicado: (2020)

Working memory differences in long-distance dependency resolution
por: Nicenboim, Bruno, et al.
Publicado: (2015)

Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
por: Slivovsky, Friedrich
Publicado: (2020)

On Compiling Structured CNFs to OBDDs
por: Bova, Simone, et al.
Publicado: (2016)

Solving Problems on Graphs of High Rank-Width
por: Eiben, Eduard, et al.
Publicado: (2017)

Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
por: Schlaipfer, Matthias, et al.
Publicado: (2020)

Upwind and high-resolution schemes
por: Hussaini, M, et al.
Publicado: (1997)

Long-Distance Sub-Diffraction High-Resolution Imaging Using Sparse Sampling
por: Wang, Duo, et al.
Publicado: (2020)

Image fusion of multi-vision system with one high resolution image for the measurement of long distance
por: Liu, Xingling, et al.
Publicado: (2023)

Ensemble origins and distance-dependence of long-range mutational effects in proteins
por: Kannan, Adithi, et al.
Publicado: (2022)

Benchmarking tomographic acquisition schemes for high-resolution structural biology
por: Turoňová, Beata, et al.
Publicado: (2020)

Polycomb Domain Formation Depends on Short and Long Distance Regulatory Cues
por: Schuettengruber, Bernd, et al.
Publicado: (2013)

High resolution, high speed, long working distance, large field of view confocal fluorescence microscope
por: Pacheco, Shaun, et al.
Publicado: (2017)

Scheme dependence at small x
por: Forte, Stefano, et al.
Publicado: (1995)

EEG Correlates of Long-Distance Dependency Formation in Mandarin Wh-Questions
por: Lo, Chia-Wen, et al.
Publicado: (2021)

The effect of decay and lexical uncertainty on processing long-distance dependencies in reading
por: Stone, Kate, et al.
Publicado: (2020)

Correlations in spiking neuronal networks with distance dependent connections
por: Kriener, Birgit, et al.
Publicado: (2009)

Age-dependent carry-over effects in a long-distance migratory bird
por: López Calderón, Cosme, et al.
Publicado: (2019)

High-resolution measurement of long-range distances in RNA: pulse EPR spectroscopy with TEMPO-labeled nucleotides
por: Halbmair, Karin, et al.
Publicado: (2016)

Glyph Visualization: A Fail-Safe Design Scheme Based on Quasi-Hamming Distances
por: Legg, Philip A, et al.
Publicado: (2017)

Dependency Resolution Difficulty Increases with Distance in Persian Separable Complex Predicates: Evidence for Expectation and Memory-Based Accounts
por: Safavi, Molood S., et al.
Publicado: (2016)

The Long-Distance Leader
por: Eikenberry, Kevin
Publicado: (2018)

Long Distance Consultations
Publicado: (1913)

Long-distance neutrinos
Publicado: (2015)

The Long-Distance Teammate
por: Eikenberry, Kevin, et al.
Publicado: (2021)

Soluble Interleukin-6 Receptor Regulates Interleukin-6-Dependent Vascular Remodeling in Long-Distance Runners
por: Villar-Fincheira, Paulina, et al.
Publicado: (2021)

Gauge and renormalization scheme dependence in GUTS
por: Binétruy, Pierre, et al.
Publicado: (1979)

GPU-Based Cloud Service for Smith-Waterman Algorithm Using Frequency Distance Filtration Scheme
por: Lee, Sheng-Ta, et al.
Publicado: (2013)

The Localization of Long-Distance Dependency Components: Integrating the Focal-lesion and Neuroimaging Record
por: Piñango, Maria M., et al.
Publicado: (2016)

Sub-100 nm resolution microscopy based on proximity projection grating scheme
por: Hu, Feng, et al.
Publicado: (2015)

Q-value for the positron decay of $^{109}$Sb and the level scheme of $^{109}$Sn
por: Johnston, M G, et al.
Publicado: (1981)

expam—high-resolution analysis of metagenomes using distance trees
por: Solari, Sean M, et al.
Publicado: (2022)

A Distance-Vector-Based Multi-Path Routing Scheme for Static-Node-Assisted Vehicular Networks
por: Araki, Daichi, et al.
Publicado: (2019)

Modified FMCW Scheme for Improved Ultrasonic Positioning and Ranging of Unmanned Ground Vehicles at Distances < 50 mm
por: Laureti, Stefano, et al.
Publicado: (2022)

Very rapid long-distance sea crossing by a migratory bird
por: Alves, José A., et al.
Publicado: (2016)

Evaluation of variability in high-resolution protein structures by global distance scoring
por: Anzai, Risa, et al.
Publicado: (2018)

Optical imaging featuring both long working distance and high spatial resolution by correcting the aberration of a large aperture lens
por: Choi, Changsoon, et al.
Publicado: (2018)

Scheme and scale dependences of leading electroweak corrections
por: Kniehl, Bernd A, et al.
Publicado: (1995)

Cannot write session to /tmp/vufind_sessions/sess_e8v5gdnr0r48s8rntlu26pa9rr