scientific article; zbMATH DE number 1179974
From MaRDI portal
Publication:4399249
Recommendations
Cited in
(47)- Computational properties of argument systems satisfying graph-theoretic constraints
- Resolution lower bounds for the weak functional pigeonhole principle.
- Finding read-once resolution refutations in systems of 2CNF clauses
- A syntactical proof of the Marriage Lemma.
- Resolution lower bounds for perfect matching principles
- Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints
- Copy complexity of Horn formulas with respect to unit read-once resolution
- The complexity of the Hajós calculus for planar graphs
- A unified framework for DPLL(T) + certificates
- A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints
- Propositional proof systems and fast consistency provers
- Upper bounds on complexity of Frege proofs with limited use of certain schemata
- On the computational complexity of read once resolution decidability in 2CNF formulas
- Proof theory
- NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability
- Towards NP-P via proof complexity and search
- Propositional proof systems, the consistency of first order theories and the complexity of computations
- Different approaches to proof systems
- Complexity of propositional proofs (invited talk)
- Towards NP-P via proof complexity and search
- scientific article; zbMATH DE number 1342249 (Why is no real title available?)
- scientific article; zbMATH DE number 1114014 (Why is no real title available?)
- Characterizing propositional proofs as noncommutative formulas
- A finite-model-theoretic view on propositional proof complexity
- scientific article; zbMATH DE number 1860652 (Why is no real title available?)
- scientific article; zbMATH DE number 910748 (Why is no real title available?)
- scientific article; zbMATH DE number 1390276 (Why is no real title available?)
- Reflections on Proof Complexity and Counting Principles
- scientific article; zbMATH DE number 7471587 (Why is no real title available?)
- Proof compression and NP versus PSPACE. II
- The complexity of finding read-once NAE-resolution refutations
- Short Proofs for the Determinant Identities
- Narrow proofs may be maximally long
- The Complexity of Propositional Proofs
- Theorem Proving in Higher Order Logics
- Logical Approaches to Computational Barriers
- Rigorous results for random (2+p)-SAT
- Propositional proof complexity
- Proof Compression and NP Versus PSPACE II: Addendum
- A surprising relationship between descriptive complexity and proof complexity
- Proving the infeasibility of Horn formulas through read-once resolution
- Combinatorics of first order structures and propositional proof systems
- Mean-payoff games and propositional proofs
- Unrestricted vs restricted cut in a tableau method for Boolean circuits
- Two party immediate response disputes: Properties and efficiency
- Proof compressions with circuit-structured substitutions
- Optimal length resolution refutations of difference constraint systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4399249)
