Marcel Wild

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 11

Top Topics

Boolean Formulae

Frequent Set Mining

Conjunctive Normal Form

Top Venues

J. Math. Imaging Vis.

Discret. Math. Theor. Comput. Sci.

Publications

Marcel Wild
Enumerating all minimal hitting sets in polynomial total time. CoRR (2023)
Marcel Wild
Compression with Wildcards: From CNFs to Orthogonal DNFs by Imposing the Clauses One-by-One. Comput. J. 65 (5) (2022)
Marcel Wild
Compression with wildcards: All exact, or all minimal hitting sets. CoRR (2020)
Marcel Wild
Compression with wildcards: All spanning trees. CoRR (2020)
Marcel Wild
ALLSAT compressed with wildcards: Frequent Set Mining. CoRR (2019)
Marcel Wild
ALLSAT compressed with wildcards: Partitionings and face-numbers of simplicial complexes. CoRR (2018)
Marcel Wild
ALLSAT compressed with wildcards. Part 2: All k-models of a BDD. CoRR (2017)
Marcel Wild
ALLSAT compressed with wildcards. Part 4: An invitation for C-programmers. CoRR (2017)
Marcel Wild
The joy of implications, aka pure Horn formulas: Mainly a survey. Theor. Comput. Sci. 658 (2017)
Marcel Wild
An efficient data structure for counting all linear extensions of a poset, calculating its jump number, and the likes. CoRR (2017)
Marcel Wild
ALLSAT compressed with wildcards. Part 1: Converting CNF's to orthogonal DNF's. CoRR (2016)
Marcel Wild
Compressed representation of learning spaces. CoRR (2014)
Marcel Wild
The joy of implications, aka pure Horn functions: mainly a survey. CoRR (2014)
Marcel Wild
Output-Polynomial Enumeration of All Fixed-Cardinality Ideals of a Poset, Respectively All Fixed-Cardinality Subtrees of a Tree. Order 31 (1) (2014)
Marcel Wild
Counting or Producing All Fixed Cardinality Transversals. Algorithmica 69 (1) (2014)
Marcel Wild
Inclusion-exclusion meets exclusion. CoRR (2013)
Marcel Wild, Svante Janson, Stephan G. Wagner, Dirk Laurie
Coupon collecting and transversals of hypergraphs. Discret. Math. Theor. Comput. Sci. 15 (2) (2013)
Marcel Wild
Computing the Output Distribution and Selection Probabilities of a Stack Filter from the DNF of Its Positive Boolean Function. J. Math. Imaging Vis. 46 (1) (2013)
Marcel Wild
Compactly Generating All Satisfying Truth Assignments of a Horn Formula. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Marcel Wild
Revisitin the enumeration of all models of a Boolean 2-CNF CoRR (2012)
Stephan G. Wagner, Marcel Wild
into n isomorphic edge-disjoint trees. Discret. Math. 312 (10) (2012)
Marcel Wild
Coupons collecting with or without replacement, and with multipurpose coupons CoRR (2011)
Marcel Wild
Counting or producing all fixed cardinality transversals CoRR (2011)
Marcel Wild
Compactly generating all satisfying truth assignments of a Horn formula CoRR (2010)
Marcel Wild
Computing the output distribution of a stack filter from the DNF of its positive Boolean function CoRR (2010)
Kira V. Adaricheva, Marcel Wild
Realization of abstract convex geometries by point configurations. Eur. J. Comb. 31 (1) (2010)
Marcel Wild
Improving upon Maximum Independent Set by five orders of magnitude CoRR (2009)
Marcel Wild
Weakly submodular rank functions, supermatroids, and the flat lattice of a distributive supermatroid. Discret. Math. 308 (7) (2008)
Marcel Wild
Generating all cycles, chordless cycles, and Hamiltonian cycles with the principle of exclusion. J. Discrete Algorithms 6 (1) (2008)
Marcel Wild
The Groups of Order Sixteen Made Easy. Am. Math. Mon. 112 (1) (2005)
Marcel Wild
On Rank Functions of Lattices. Order 22 (4) (2005)
Marcel Wild
The Asymptotic Number of Binary Codes and Binary Matroids. SIAM J. Discret. Math. 19 (3) (2005)
Marcel Wild
The many benefits of putting stack filters into disjunctive or conjunctive normal form. Discret. Appl. Math. 149 (1-3) (2005)
Marcel Wild
The asymptotic number of binary codes and binary matroids CoRR (2004)
Marcel Wild
Idempotent and co-idempotent stack filters and min-max operators. Theor. Comput. Sci. 299 (1-3) (2003)
Marcel Wild
On the Idempotency and Co-idempotency of the Morphological Center Int. J. Pattern Recognit. Artif. Intell. 15 (7) (2001)
Marcel Wild
Consequences of the Brylawski-Lucas Theorem for Binary Matroids. Eur. J. Comb. 17 (2-3) (1996)
Marcel Wild
Base exchange properties of graphic matroids. Discret. Math. 148 (1-3) (1996)
Christian Herrmann, Marcel Wild
A Polynomial Algorithm for Testing Congruence Modularity. Int. J. Algebra Comput. 6 (4) (1996)
Marcel Wild
Computations with Finite Closure Systems and Implications. COCOON (1995)
Marcel Wild
Cover preserving embedding of modular lattices into partition lattices. Discret. Math. 112 (1-3) (1993)