Pages that link to "Item:Q4358049"
From MaRDI portal
The following pages link to Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049):
Displaying 50 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Lower bounds for monotone real circuit depth and formula size and tree-like cutting planes (Q293309) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- Cutting planes cannot approximate some integer programs (Q453048) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- How to deal with unbelievable assertions (Q524943) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- A supernodal formulation of vertex colouring with applications in course timetabling (Q610967) (← links)
- Mean-payoff games and propositional proofs (Q716324) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- A lower bound for intuitionistic logic (Q876385) (← links)
- Classes of representable disjoint \textsf{NP}-pairs (Q884465) (← links)
- Tuples of disjoint \(\mathsf{NP}\)-sets (Q929286) (← links)
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF (Q1383164) (← links)
- A note about \(k\)-DNF resolution (Q1641156) (← links)
- Cliques enumeration and tree-like resolution proofs (Q1708271) (← links)
- On semantic cutting planes with very small coefficients (Q1751424) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Monotone simulations of non-monotone proofs. (Q1872729) (← links)
- On the automatizability of resolution and related propositional proof systems (Q1881219) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- How QBF expansion makes strategy extraction hard (Q2096438) (← links)
- Pseudorandom generators hard for \(k\)-DNF resolution and polynomial calculus resolution (Q2255289) (← links)
- Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
- NIL: learning nonlinear interpolants (Q2305413) (← links)
- On transformations of constant depth propositional proofs (Q2311211) (← links)
- Random resolution refutations (Q2311546) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Dag-like communication and its applications (Q2399382) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A characterization of tree-like resolution size (Q2444907) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Separation results for the size of constant-depth propositional proofs (Q2566064) (← links)
- An interpolating theorem prover (Q2575736) (← links)
- Tautologies from Pseudo-Random Generators (Q2736584) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
- A feasible interpolation for random resolution (Q2980967) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
