scientific article; zbMATH DE number 7204563

DOI10.4230/LIPIcs.ICALP.2017.111zbMath1442.68052arXiv1702.05589MaRDI QIDQ5111443

Antoine Amarilli, Louis Jachiet, Stefan Mengel, Pierre Bourhis

Publication date: 27 May 2020

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

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

zbMATH Keywords

enumerationcircuitsconstant delayMSO\(d\)-DNNFs

Mathematics Subject Classification ID

Database theory (68P15) Combinatorics in computer science (68R05) Logic in computer science (03B70) Networks and circuits as models of computation; circuit complexity (68Q06)

Related Items (6)

Unnamed Item ⋮ Unnamed Item ⋮ Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries ⋮ Enumerating models of DNF faster: breaking the dependency on the formula size ⋮ An Experimental Study of the Treewidth of Real-World Graph Data ⋮ Connecting knowledge compilation classes and width parameters

This page was built for publication: