conftrace_

circuit compilation

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

boolean function (2) knowledge compilation (2) decision procedure (1) sentential decision diagram (1) tractable learning (1) qaoa circuit (1) negation normal form (1) wdnnf circuit (1) counting query (1) quantum circuit (1)

Papers

A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Compilation and Fast Model Counting beyond CNF IJCAI 2024 Temporal Planning for Compilation of Quantum Approximate Optimization Circuits IJCAI 2017 Tractable Learning for Complex Probability Queries NeurIPS 2015