Cited in
(27)- SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem
- \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
- A new solver for the minimum weighted vertex cover problem
- An efficient local search framework for the minimum weighted vertex cover problem
- QUALEX
- BHOSLIB
- dynASP
- CCASat
- Sparrow2011
- CircuitTSAT
- SCCWalk
- tw-heuristic
- CCLS
- CCEHC
- An approximation Lagrangian-based algorithm for the maximum clique problem via deterministic annealing neural network
- Towards faster local search for minimum weight vertex cover on massive graphs
- Local search for Boolean satisfiability with configuration checking and subscore
- 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
- Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism
- An improved configuration checking-based algorithm for the unicost set covering problem
- Backdoors to tractable answer set programming
- Focused jump-and-repair constraint handling for fixed-parameter tractable graph problems closed under induced subgraphs
- ils-mwis
- Can local optimality be used for efficient data reduction?
- gpuls-mwcp
- An efficient heuristic algorithm for solving connected vertex cover problem
This page was built for software: NuMVC
