40 citations · 64 across the 27 of their papers we have counts for
4 papers · 1 filter
ALLSAT compressed with wildcards: An invitation for C-programmers
Marcel Wild
The model set of a general Boolean function in CNF is calculated in a compressed format, using novel wildcards. This method can be explained in very visual ways. Preliminary compar…
An efficient data structure for counting all linear extensions of a poset, calculating its jump number, and the likes
Marcel Wild
Achieving the goals in the title (and others) relies on a cardinality-wise scanning of the ideals of the poset. Specifically, the relevant numbers attached to the k+1 element ideal…
Tight embedding of modular lattices into partition lattices: progress and program
Marcel Wild
Representing lattices L by equivalence relations amounts to embed them into the lattice Part(V) of all partitions of a set V, and has a long history. Here we are concerned with MOD…
Compression with wildcards: All k-models of a binary decision diagram
Marcel Wild, Yves Semegni
Given a Binary Decision Diagram of a Boolean function in variables, it is well known that all -models can be enumerated in output polynomial time, and in a compresse…