conftrace_

stochastic local search

8 papers

Explore in graph

Also known as

SLS

Co-occurring keywords · papers mentioning both

combinatorial optimization (3) weighted partial maxsat (2) weighted partial maximum satisfiability (1) configuration checking (1) biased random walk (1) hard clause weighting (1) maxsat solver (1) neural network (1) solution prediction (1) anytime performance (1)

Papers

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach AAAI 2026 Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis AAAI 2025 Credal Marginal MAP NeurIPS 2023 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques AAAI 2023 NLocalSAT: Boosting Local Search with Solution Prediction IJCAI 2020 An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search AAAI 2019 CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) IJCAI 2017 Accelerating Bayesian Structural Inference for Non-Decomposable Gaussian Graphical Models NeurIPS 2009