40 citations · 64 across the 27 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2014★ 40 cited
The joy of implications, aka pure Horn functions: mainly a survey
Marcel Wild
Apart from a brief look at applications (Relational Databases, Formal Concept Analysis, data mining) this article is devoted to the mathematical t h e o r y of implications (=pure…
cs.LO2010
Compactly generating all satisfying truth assignments of a Horn formula
Marcel Wild
As instance of an overarching principle of exclusion an algorithm is presented that compactly (thus not one by one) generates all models of a Horn formula. The principle of exclusi…
cs.LO2010★ 8 cited
Computing the output distribution and selection probabilities of a stack filter from the DNF of its positive Boolean function
Marcel Wild
Many nonlinear filters used in practise are stack filters. An algorithm is presented which calculates the output distribution of an arbitrary stack filter S from the disjunctive no…