conftrace_

conjunctive normal form

10 papers

Explore in graph

Also known as

CNF

Co-occurring keywords · papers mentioning both

model counting (2) disjunctive normal form (2) sat solver (2) knowledge compilation (2) pseudo-boolean model counting (1) projected model counting (1) incremental model counting (1) author name disambiguation (1) blocking function (1) cnf blocking (1)

Papers

Circuit-Aware d-DNNF Compilation IJCAI 2025 The Impact of Literal Sorting on Cardinality Constraint Encodings AAAI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024 Solving Quantified Boolean Formulas with Few Existential Variables IJCAI 2024 Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Learning CNF Blocking for Large-scale Author Name Disambiguation EMNLP 2020 Boolean Decision Rules via Column Generation NeurIPS 2018 On Minimum Representations of Matched Formulas (Extended Abstract) IJCAI 2017 Spiking and saturating dendrites differentially expand single neuron computation capacity NeurIPS 2012