conftrace_

sat solver

78 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) boolean satisfiability (32) conflict-driven clause learning (13) sat solving (25) constraint satisfaction (294) constraint programming (95) pseudo-boolean solving (4) model counting (46) symmetry breaking (28) branching heuristic (9)

Papers

Perceptron Learning of SAT NIPS 2012
Learning Causal Structure from Overlapping Variable Sets AISTATS 2010
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NIPS 2006