conftrace_

skolem function

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

boolean formula (1) function synthesis (1) component caching (1) boolean function synthesis (1) np oracle (1) witness generation (1) pure literal detection (1) functional synthesis (1) stochastic boolean satisfiability (1) approximate algorithm (1)

Papers

The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques AAAI 2026 An Approximate Skolem Function Counter AAAI 2024 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023