C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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