Cited in
(32)- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Filtering algorithms for the multiset ordering constraint
- Applied integer programming. Modeling and solution.
- scientific article; zbMATH DE number 2083802 (Why is no real title available?)
- Solving hierarchical constraints over finite domains with local search
- Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques
- Incremental Algorithms for Local Search from Existential Second-Order Logic
- Evaluating the impact of AND/OR search on 0-1 integer linear programming
- Principles and Practice of Constraint Programming – CP 2004
- Parallel and distributed local search in COMET
- scientific article; zbMATH DE number 2221469 (Why is no real title available?)
- NP-SPEC
- PBS
- MIPTS
- Skyblue
- Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
- AS 181
- Propagation algorithms for lexicographic ordering constraints
- PipLib
- FaCiLe
- On solving the progressive party problem as a MIP.
- scientific article; zbMATH DE number 2084735 (Why is no real title available?)
- Generic incremental algorithms for local search
- Musical constraint satisfaction problems solved with adaptive search
- A local-search-based heuristic for the demand-constrained multidimensional knapsack problem
- Revisiting constraint-directed search
- Scheduling the professional soccer leagues of Austria and Germany
- Reduced order models for random functions. Application to stochastic problems
- Integer optimization by local search. A domain-independent approach
- A general approach for constraint solving by local search
- A novel analytical integer optimization method for wavelet based subband coding
- scientific article; zbMATH DE number 1728542 (Why is no real title available?)
This page was built for software: WSAT(OIP)
