conftrace_

xor constraint

4 papers

Explore in graph

Also known as

XOR

Co-occurring keywords

boolean satisfiability (32) runtime performance (3) optimization problem (37) model counting (46) counting problem (5) gaussian elimination (3) propositional model counting (2) scalable reasoning (1) np oracle (2) parity constraint (2)

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 NIPS 2016
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NIPS 2006