Prime Implicate Tries
From MaRDI portal
Publication:3648735
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
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