conftrace_

xor constraint

4 papers

Explore in graph

Also known as

XOR

Co-occurring keywords · papers mentioning both

boolean satisfiability (2) runtime performance (1) combinatorial problem (1) optimization problem (1) model counting (1) counting problem (1) gaussian elimination (1) propositional model counting (1) scalable reasoning (1) np oracle (1)

Papers

ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022 Phase Transition Behavior of Cardinality and XOR Constraints IJCAI 2019 Solving Marginal MAP Problems with NP Oracles and Parity Constraints NeurIPS 2016 Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NeurIPS 2006