Pages that link to "Item:Q685363"
From MaRDI portal
The following pages link to On generalized Horn formulas and \(k\)-resolution (Q685363):
Displaying 9 items.
- On resolution with short clauses (Q1380411) (← links)
- Hierarchies of polynomially solvable satisfiability problems (Q1380432) (← links)
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479) (Q1961443) (← links)
- Generalising unit-refutation completeness and SLUR via nested input resolution (Q2352484) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648) (← links)
- Space characterizations of complexity measures and size-space trade-offs in propositional proof systems (Q6168323) (← links)
