Augmenting Negation Normal Form With Irrelevant Variables
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2927041
Abstract: Irrelevant variables are always omitted in knowledge compilation languages since their assignments do not change the satisfiability of sentences. In order to identify new knowledge compilation languages and reduce the scale of compiling result of… read more here.
Keywords: sub dnnf; sub sub; nnf sub; sub ... See more keywords