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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 25 articles )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Hatam, Mahdi; Masnadi-Shirazi, Mohammad Ali: A novel analytical integer optimization method for wavelet based subband coding (2016)
  2. Chen, Der-San; Batson, Robert G.; Dang, Yu: Applied integer programming. Modeling and solution. (2010)
  3. Marinescu, Radu; Dechter, Rina: Evaluating the impact of AND/OR search on 0-1 integer linear programming (2010)
  4. Ågren, Magnus; Flener, Pierre; Pearson, Justin: Revisiting constraint-directed search (2009)
  5. Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby: Filtering algorithms for the multiset ordering constraint (2009)
  6. Grigoriu, M.: Reduced order models for random functions. Application to stochastic problems (2009)
  7. Michel, Laurent; See, Andrew; van Hentenryck, Pascal: Parallel and distributed local search in COMET (2009)
  8. Ågren, Magnus; Flener, Pierre; Pearson, Justin: Generic incremental algorithms for local search (2007)
  9. Liu, Lengning; Truszczyński, Mirosław: Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (2007)
  10. Bartsch, Thomas; Drexl, Andreas; Kröger, Stefan: Scheduling the professional soccer leagues of Austria and Germany (2006)
  11. Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep; Miguel, Ian; Walsh, Toby: Propagation algorithms for lexicographic ordering constraints (2006)
  12. Ågren, Magnus; Flener, Pierre; Pearson, Justin: Incremental algorithms for local search from existential second-order logic (2005)
  13. Cappanera, Paola; Trubian, Marco: A local-search-based heuristic for the demand-constrained multidimensional knapsack problem (2005)
  14. 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)
  15. Indra-Payoong, Nakorn; Kwan, Raymond S. K.; Proll, Les: Rail container service planning: a constraint-based approach (2005)
  16. Xing, Zhao; Zhang, Weixiong: MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (2005)
  17. Galinier, Philippe; Hao, Jin-Kao: A general approach for constraint solving by local search (2004)
  18. 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)
  19. Truchet, C.; Codognet, P.: Musical constraint satisfaction problems solved with adaptive search (2004)
  20. Xing, Zhao; Zhang, Weixiong: Efficient strategies for (weighted) maximum satisfiability (2004)

1 2 next