WSAT(OIP)
WSAT(OIP) is a domain-independent local search method for linear integer constraints that can solve a range of hard realistic integer optimization problems
Keywords for this software
References in zbMATH (referenced in 25 articles )
Showing results 1 to 20 of 25.
Sorted by year (- Hatam, Mahdi; Masnadi-Shirazi, Mohammad Ali: A novel analytical integer optimization method for wavelet based subband coding (2016)
- Chen, Der-San; Batson, Robert G.; Dang, Yu: Applied integer programming. Modeling and solution. (2010)
- Marinescu, Radu; Dechter, Rina: Evaluating the impact of AND/OR search on 0-1 integer linear programming (2010)
- Ågren, Magnus; Flener, Pierre; Pearson, Justin: Revisiting constraint-directed search (2009)
- Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby: Filtering algorithms for the multiset ordering constraint (2009)
- Grigoriu, M.: Reduced order models for random functions. Application to stochastic problems (2009)
- Michel, Laurent; See, Andrew; van Hentenryck, Pascal: Parallel and distributed local search in COMET (2009)
- Ågren, Magnus; Flener, Pierre; Pearson, Justin: Generic incremental algorithms for local search (2007)
- Liu, Lengning; Truszczyński, Mirosław: Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (2007)
- Bartsch, Thomas; Drexl, Andreas; Kröger, Stefan: Scheduling the professional soccer leagues of Austria and Germany (2006)
- Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby: Propagation algorithms for lexicographic ordering constraints (2006)
- Ågren, Magnus; Flener, Pierre; Pearson, Justin: Incremental algorithms for local search from existential second-order logic (2005)
- Cappanera, Paola; Trubian, Marco: A local-search-based heuristic for the demand-constrained multidimensional knapsack problem (2005)
- Frisch, Alan M.; Peugniez, Timothy J.; Doggett, Anthony J.; Nightingale, Peter W.: Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (2005)
- Indra-Payoong, Nakorn; Kwan, Raymond S. K.; Proll, Les: Rail container service planning: a constraint-based approach (2005)
- Xing, Zhao; Zhang, Weixiong: MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (2005)
- Galinier, Philippe; Hao, Jin-Kao: A general approach for constraint solving by local search (2004)
- Henz, Martin; Yap, Roland H. C.; Lim, Yun Fong; Lua, Seet Chong; Walser, J. Paul; Shi, Xiao Ping: Solving hierarchical constraints over finite domains with local search (2004)
- Truchet, C.; Codognet, P.: Musical constraint satisfaction problems solved with adaptive search (2004)
- Xing, Zhao; Zhang, Weixiong: Efficient strategies for (weighted) maximum satisfiability (2004)