Prime Implicate Tries

DOI10.1007/978-3-642-02716-1_19zbMath1260.68127OpenAlexW2167258402MaRDI QIDQ3648735

Andrew Matusiewicz, Erik Rosenthal, Neil V. Murray

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_19

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical propositional logic (03B05) Data structures (68P05)

Related Items (2)

Quantifier-Free Equational Logic and Prime Implicate Generation ⋮ A superposition calculus for abductive reasoning

This page was built for publication: Prime Implicate Tries