conftrace_

hybrid constraint

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

incomplete solver (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