Augmenting Negation Normal Form With Irrelevant Variables

Augmenting Negation Normal Form With Irrelevant Variables

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 d-DNNF, we augment NNF with irrelevant variables in t...

Full description

Bibliographic Details
Main Authors: Dangdang Niu, Lei Liu, Shuai Lu
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Knowledge compilation
negation normal form
d-DNNF
irrelevant variables
Online Access:https://ieeexplore.ieee.org/document/8756041/

Internet

https://ieeexplore.ieee.org/document/8756041/

Similar Items