scientific article; zbMATH DE number 1114001
From MaRDI portal
Publication:4375767
Recommendations
Cited in
(19)- Solving weighted MAX-SAT via global equilibrium search
- Computing approximate solutions of the maximum covering problem with GRASP
- Worst-case study of local search for MAX-\(k\)-SAT.
- Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP
- Solving the weighted MAX-SAT problem using the dynamic convexized method
- A new greedy randomised adaptive search procedure for solving the maximum satisfiability problem
- A generalized variable neighborhood search for combinatorial optimization problems
- A nonmonotone GRASP
- GRASP with path relinking for the weighted MAXSAT problem
- scientific article; zbMATH DE number 2043435 (Why is no real title available?)
- Extending time-to-target plots to multiple instances
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- A cooperative search method for the weighted Max-Sat problems
- Experimental and Efficient Algorithms
- Approximate solutions to the turbine balancing problem.
- Variable neighborhood search: Principles and applications
- A GRASP algorithm to solve the unicost set covering problem
- An efficient solver for weighted Max-SAT
- A greedy randomized adaptive search procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375767)
