CCLS
From MaRDI portal
Software:51751
swMATH36049MaRDI QIDQ51751FDOQ51751
Author name not available (Why is that?)
Cited In (20)
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
- SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem
- Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
- Breaking Cycle Structure to Improve Lower Bound for Max-SAT
- The Normalized Autocorrelation Length of Random Max $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$
- A novel algorithm for Max Sat calling MOCE to order
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
- New local search methods for partial MaxSAT
- Probabilistic characterization of random Max \(r\)-Sat
- New stochastic local search approaches for computing preferred extensions of abstract argumentation
- Cooperative parallel SAT local search with path relinking
- An efficient local search algorithm for solving maximum edge weight clique problem in large graphs
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- Local search for diversified top-\(k\) clique search problem
- An improved configuration checking-based algorithm for the unicost set covering problem
- Voting on multi-issue domains with conditionally lexicographic preferences
- WPM3: an (in)complete algorithm for weighted partial MaxSAT
- An efficient heuristic algorithm for solving connected vertex cover problem
This page was built for software: CCLS
