Simon Vilmin

activity

20192026

collaborators

Showing 2024 · cs.DSShow all

2 papers · 2 filters

cs.DS2024

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.DS2024

On the enumeration of signatures of XOR-CNF's

Nadia Creignou, Oscar Defrain, Frédéric Olive +1

Given a CNF formula $φ$ 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})=(C…

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