On the maximal minimal cube lengths in distinct DNF tautologies

zbMath1449.05018arXiv1902.03431MaRDI QIDQ5210575

Manuel Kauers, Martina Seidl, Doron Zeilberger

Publication date: 21 January 2020

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

zbMATH Keywords

symmetry breakingcovering systemsSAT solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Exact enumeration problems, generating functions (05A15)

Uses Software

• Plingeling
• Treengeling
• Lingeling
• YalSAT
• CaDiCaL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the maximal minimal cube lengths in distinct DNF tautologies