conftrace_

wdnnf circuit

2 papers

Explore in graph

Also known as

WDNNF

Co-occurring keywords · papers mentioning both

knowledge compilation (2) negation normal form (1) circuit compilation (1) decision procedure (1) model counting (1) boolean circuit (1) cnf formula (1) circuit representation (1) propositional logic (1) weighted model counting (1)

Papers

New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024