Identifying Prime Implicate Branches in Reduced Implicate Tries

DOI10.3233/FI-2010-247zbMath1210.68050OpenAlexW1807810162MaRDI QIDQ3568273

Neil V. Murray, Erik Rosenthal

Publication date: 17 June 2010

Full work available at URL: https://content.iospress.com/articles/fundamenta-informaticae/fi99-2-07

zbMATH Keywords

knowledge compilationprime implicatesreduced implicate tries

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Identifying Prime Implicate Branches in Reduced Implicate Tries