ParaGnosis: A Tool for Parallel Knowledge Compilation.

Giso H. Dal Alfons Laarman Peter J. F. Lucas

Published in: SPIN (2023)

Keyphrases

knowledge compilation
product configuration
prime implicates
model counting
decision support
normal form
logical inference
decomposable negation normal form
information retrieval
data model
special case
object oriented
quantified boolean formulae
horn formulas