conftrace_

stochastic local search

8 papers

Explore in graph

Also known as

SLS

Co-occurring keywords

combinatorial optimization (1039) weighted partial maxsat (5) weighted partial maximum satisfiability (1) configuration checking (7) biased random walk (1) hard clause weighting (1) maxsat solver (11) neural network (6616) solution prediction (5) 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
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques AAAI 2023
Credal Marginal MAP NIPS 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 NIPS 2009