BG-WalkSAT
From MaRDI portal
Cited in
(27)- Scatter search and genetic algorithms for MAX-SAT problems
- Analysis of local search landscapes for \(k\)-SAT instances
- Backbone analysis and algorithm design for the quadratic assignment problem
- Improving the Efficiency of Helsgaun’s Lin-Kernighan Heuristic for the Symmetric TSP
- Combining VNS with constraint programming for solving anytime optimization problems
- General \(k\)-opt submoves for the Lin-Kernighan TSP heuristic
- Cooperative parallel SAT local search with path relinking
- Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
- Automated reformulation of specifications by safe delay of constraints
- UBCSAT
- ChainSAT
- FANT
- WordSpy
- CollHaps
- scientific article; zbMATH DE number 5547843 (Why is no real title available?)
- The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability
- Boosting quantum annealer performance via sample persistence
- C-strategy: a dynamic adaptive strategy for the CLONALG algorithm
- scientific article; zbMATH DE number 2242691 (Why is no real title available?)
- Eliminating Redundant Clauses in SAT Instances
- Unique optimal solution instance and computational complexity of backbone in the graph bi-partitioning problem
- Decomposing SAT Instances with Pseudo Backbones
- Theory and Applications of Satisfiability Testing
- On computing backbones of propositional theories
- Towards backbone computing: a greedy-whitening based approach
- Instance-specific multi-objective parameter tuning based on fuzzy logic
- Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability
This page was built for software: BG-WalkSAT
