WSAT(OIP)
From MaRDI portal
Software:16950
No author found.
Related Items (25)
A general approach for constraint solving by local search ⋮ A Local-Search-Based Heuristic for the Demand-Constrained Multidimensional Knapsack Problem ⋮ Filtering algorithms for the multiset ordering constraint ⋮ Reduced order models for random functions. Application to stochastic problems ⋮ Generic incremental algorithms for local search ⋮ Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques ⋮ Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incremental Algorithms for Local Search from Existential Second-Order Logic ⋮ On solving the progressive party problem as a MIP. ⋮ Solving hierarchical constraints over finite domains with local search ⋮ Propagation algorithms for lexicographic ordering constraints ⋮ MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability ⋮ Musical constraint satisfaction problems solved with adaptive search ⋮ Evaluating the impact of AND/OR search on 0-1 integer linear programming ⋮ A novel analytical integer optimization method for wavelet based subband coding ⋮ Parallel and distributed local search in COMET ⋮ Revisiting constraint-directed search ⋮ Unnamed Item ⋮ Principles and Practice of Constraint Programming – CP 2004 ⋮ Integer optimization by local search. A domain-independent approach ⋮ Scheduling the professional soccer leagues of Austria and Germany
This page was built for software: WSAT(OIP)
