Width and Size of Regular Resolution Proofs

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-8(2:8)2012
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Narrow Proofs May Be Spacious:Separating Space and Width in Resolution

SIAM Journal on Computing
MathematicsComputer Science
2009English

Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

Injectivity Radius of Representations of Triangle Groups and Planar Width of Regular Hypermaps

Ars Mathematica Contemporanea
AlgebraCombinatoricsNumber TheoryGeometryDiscrete MathematicsTheoretical Computer ScienceTopology
2008English

Variance of Size in Regular Graph Tries

2014English

Gromov Width of Non-Regular Coadjoint Orbits of U(n), SO(2n) and SO(2n + 1)

Mathematical Research Letters
Mathematics
2014English

Observations of the Auroral Width Spectrum at Kilometre-Scale Size

Annales Geophysicae
Planetary SciencesGeologySpaceAtmospheric SciencePlanetary ScienceAstrophysicsEarthAstronomy
2010English

Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

0010 the Importance of Conducting Regular Safety Inspections in Small and Medium Size Enterprises0010 the Importance of Conducting Regular Safety Inspections in Small and Medium Size Enterprises

Occupational and Environmental Medicine
EnvironmentalPublic HealthOccupational Health
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy