conftrace_

boolean function synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean formula (1) function synthesis (1) skolem function (1) approximate algorithm (1) model counting (1) complexity theory (1) propositional logic (1) boolean function (1) approximate counting (1) probabilistic inference (1)

Papers

An Approximate Skolem Function Counter AAAI 2024