The following pages link to (Q4152212):
Displayed 50 items.
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Logical omniscience as infeasibility (Q392271) (← links)
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Practical extraction of evidence terms from common-knowledge reasoning (Q530856) (← links)
- Extended clause learning (Q622116) (← links)
- Short propositional refutations for dense random 3CNF formulas (Q741088) (← links)
- The intractability of resolution (Q1071750) (← links)
- An answer to an open problem of Urquhart (Q1129262) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- On the complexity of regular resolution and the Davis-Putnam procedure (Q1249435) (← links)
- The complexity of Gentzen systems for propositional logic (Q1263584) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
- Controlled integration of the cut rule into connection tableau calculi (Q1344875) (← links)
- A proper hierarchy of propositional sequent calculi (Q1350509) (← links)
- Davis-Putnam resolution versus unrestricted resolution (Q1353991) (← links)
- Proof complexity in algebraic systems and bounded depth Frege systems with modular counting (Q1377580) (← links)
- Optimal proof systems imply complete sets for promise classes (Q1398371) (← links)
- Resolution and binary decision diagrams cannot simulate each other polynomially (Q1408378) (← links)
- The proof complexity of analytic and clausal tableaux (Q1575658) (← links)
- Relative efficiency of propositional proof systems: Resolution vs. cut-free LK (Q1577476) (← links)
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- Some remarks on lengths of propositional proofs (Q1908815) (← links)
- Resolution remains hard under equivalence (Q1961451) (← links)
- On a generalization of extended resolution (Q1961452) (← links)
- On the complexity of choosing the branching literal in DPLL (Q1978252) (← links)
- Resolution with counting: dag-like lower bounds and different moduli (Q2029775) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749) (← links)
- Satisfiability problems for propositional calculi (Q3864500) (← links)
- A note on some computationally difficult set covering problems (Q3867546) (← links)
- Characterizing Propositional Proofs as Noncommutative Formulas (Q4577770) (← links)
- Non-elementary speed-ups in proof length by different variants of classical analytic calculi (Q4610324) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- Witnessing matrix identities and proof complexity (Q4634922) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- Simulation of Natural Deduction and Gentzen Sequent Calculus (Q4683217) (← links)
- (Q4989407) (← links)
- Substitution and Propositional Proof Complexity (Q5027247) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
- The Complexity of Finding Read-Once NAE-Resolution Refutations (Q5224491) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)