The following pages link to On resolution with short clauses (Q1380411):
Displaying 9 items.
- On generalized Horn formulas and \(k\)-resolution (Q685363) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Optimizing propositional calculus formulas with regard to questions of deducibility (Q1117918) (← links)
- A note about \(k\)-DNF resolution (Q1641156) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- Short resolution proofs for a sequence of tricky formulas (Q1924995) (← links)
- Resolution remains hard under equivalence (Q1961451) (← links)
- Parameterized and Exact Computation (Q5311515) (← links)
- Strong ETH and Resolution via Games and the Multiplicity of Strategies. (Q5363779) (← links)
