A Dynamic Programming Algorithm for Prime Implicates.
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/Matusiewicz11 ↗
Browse the full TABLEAUX paper archive.
Browse the full TABLEAUX paper archive.