Login / Signup
Pierre Mercuriali
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Monotone Boolean Functions
Prime Implicates
Normal Form
Relational Database Theory
Top Venues
J. Multiple Valued Log. Soft Comput.
ISMVL
Theor. Comput. Sci.
</>
Publications
</>
Miguel Couceiro
,
Erkko Lehtonen
,
Pierre Mercuriali
,
Romain Péchoux
On the efficiency of normal form systems for representing Boolean functions.
Theor. Comput. Sci.
813 (2020)
Miguel Couceiro
,
Pierre Mercuriali
,
Romain Péchoux
,
Abdallah Saffidine
On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials.
J. Multiple Valued Log. Soft Comput.
33 (3) (2019)
Miguel Couceiro
,
Pierre Mercuriali
,
Romain Péchoux
,
Abdallah Saffidine
Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions.
ISMVL
(2017)