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