conftrace_

negation normal form

2 papers

Explore in graph

Also known as

NNF

Co-occurring keywords · papers mentioning both

knowledge compilation (2) wdnnf circuit (1) bottom-up compilation (1) exponential lower bound (1) circuit compilation (1) decision procedure (1) boolean circuit (1) cnf formula (1) circuit complexity (1) propositional logic (1)

Papers

A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation AAAI 2022