Prime Implicate Tries

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-642-02716-1_19 ◽

2009 ◽

pp. 250-264 ◽

Cited By ~ 7

Author(s):

Andrew Matusiewicz ◽

Neil V. Murray ◽

Erik Rosenthal

Download Full-text