Simon Vilmin

collaborators

Showing cs.DSShow all

3 papers · 1 filter

cs.DS2025

Translating between the representations of an acyclic convex geometry of bounded degree

Oscar Defrain, Arthur Ohana, Simon Vilmin

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, an…

cs.DS2025

Computing the $D$ -base and $D$ -relation in finite closure systems

Kira Adaricheva, Lhouari Nourine, Simon Vilmin

Implicational bases (IBs) are a common representation of finite closure systems and lattices, along with meet-irreducible elements. They appear in a wide variety of fields ranging…

cs.DS2025

On the enumeration of signatures of XOR-CNF's

Given a CNF formula $I ¨ $ with clauses $C_{1}, \dots, C_{m}$ over a set of variables $V$ , a truth assignment $a : V \to {0, 1}$ generates a binary sequence $Ï_Ï(\mathbf{a})…

Translating between the representations of an acyclic convex geometry of bounded degree

Computing the D-base and D-relation in finite closure systems

On the enumeration of signatures of XOR-CNF's

Computing the $D$ -base and $D$ -relation in finite closure systems