conftrace_

incomplete solver

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hybrid constraint (1) boolean constraint (1) local search (1) boolean function (1) constraint satisfaction (1) fourier analysis (1) constraint solving (1) hybrid optimization (1) boolean satisfiability (1) fourier expansion (1)

Papers

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020