conftrace_

boolean circuit

13 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge compilation (4) circuit optimization (2) circuit minimization (2) ordered binary decision diagram (2) shapley value (2) boolean function (2) multi-label classification (2) model counting (1) explainable machine learning (1) chain of thought (1)

Papers

Efficient Confidence Set Enumeration for Multi-label Conformal Classification UAI 2026 Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Circuit-Aware d-DNNF Compilation IJCAI 2025 Symbolic Functional Decomposition: A Reconfiguration Approach AAAI 2025 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Chain of Thought Empowers Transformers to Solve Inherently Serial Problems ICLR 2024 Structured d-DNNF Is Not Closed under Negation IJCAI 2024 Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023 On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023 From Local Pseudorandom Generators to Hardness of Learning COLT 2021 On Belief Change for Multi-Label Classifier Encodings IJCAI 2021 The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits AAAI 2021 Learning Acyclic Probabilistic Circuits Using Test Paths JMLR 2009