WSAT(OIP)

swMATH4787MaRDI QIDQ16950FDOQ16950

Author name not available (Why is that?)

Cited In (25)

• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)