conftrace_

np oracle

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

parity constraint (1) functional synthesis (1) skolem function (1) counting problem (1) optimization problem (1) xor constraint (1) marginal map inference (1) sat solver (1) approximation algorithm (1) marginal map (1)

Papers

The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques AAAI 2026 Solving Marginal MAP Problems with NP Oracles and Parity Constraints NeurIPS 2016