conftrace_

variable assignment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

search guidance (1) combinatorial problem (1) local search (1) constraint programming (1) probabilistic sampling (1) message passing (1) belief propagation (1) stochastic optimization (1) combinatorial optimization (1)

Papers

Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers AAAI 2023 From Support Propagation to Belief Propagation in Constraint Programming (Extended Abstract) IJCAI 2020