scientific article; zbMATH DE number 6829393

DOI10.4230/LIPIcs.STACS.2016.52zbMath1388.68129arXiv1509.05623MaRDI QIDQ4601904

Yann Strozecki, Arnaud Mary

Publication date: 24 January 2018

Full work available at URL: https://arxiv.org/abs/1509.05623

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

enumerationpolynomial delayPost's latticeset saturation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of universal algebra in computer science (08A70)

Related Items (2)

Enumerating models of DNF faster: breaking the dependency on the formula size ⋮ Incremental delay enumeration: space and time

This page was built for publication: