40 citations · 64 across the 27 of their papers we have counts for
5 papers · 1 filter
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…
Lattices freely generated by posets within a variety. Part II: Finitely generated varieties
Jean Yves Semegni, Marcel Wild
This article is the second part of an essay dedicated to lattices freely generated by posets within a variety. The first part dealt with four easy varieties while this part is conc…
Lattices freely generated by posets within a variety. Part I: Four easy varieties
Jean Yves Semegni, Marcel Wild
We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the alg…
The output distribution of important LULU-operators
R. Anguelov, P. W. Butler, C. H. Rohwer +1
Two procedures to compute the output distribution phi_S of certain stack filters S (so called erosion-dilation cascades) are given. One rests on the disjunctive normal form of S an…
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…