WSAT(OIP)

swMATH4787MaRDI QIDQ16950FDOQ16950

Author name not available (Why is that?)

Official website: http://www.ps.uni-saarland.de/~walser/wsatpb/wsatpb.html

Cited In (31)

• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Title not available (Why is that?)
• 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.
• Title not available (Why is that?)
• 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
• PBS
• MIPTS
• Skyblue
• AS 181
• PipLib
• FaCiLe
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Reduced order models for random functions. Application to stochastic problems
• Filtering algorithms for the multiset ordering constraint
• Incremental Algorithms for Local Search from Existential Second-Order Logic
• Propagation algorithms for lexicographic ordering constraints

This page was built for software: WSAT(OIP)