5 citations · 9 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 3 cited
Bounds on the size of PC and URC formulas
Petr Kučera, Petr Savický
In this paper we investigate CNF formulas, for which the unit propagation is strong enough to derive a contradiction if the formula together with a partial assignment of the variab…
cs.LO2015★ 5 cited
Term satisfiability in FL-algebras
Zuzana Haniková, Petr Savický
FL-algebras form the algebraic semantics of the full Lambek calculus with exchange and weakening. We investigate two relations, called satisfiability and positive sat…