References in zbMATH (referenced in 21 articles , 1 standard article )

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

1 2 next

  1. Ouali, Abdelkader; Allouche, David; de Givry, Simon; Loudni, Samir; Lebbah, Yahia; Loukil, Lakhdar; Boizumault, Patrice: Variable neighborhood search for graphical model energy minimization (2020)
  2. Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina: Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs (2018)
  3. Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco: Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms (2018)
  4. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  5. Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak: Approximate counting in SMT and value estimation for probabilistic programs (2017)
  6. Jégou, Philippe; Terrioux, Cyril: Combining restarts, nogoods and bag-connected decompositions for solving csps (2017)
  7. Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas: Triangle-based consistencies for cost function networks (2017)
  8. Allouche, David; Bessiere, Christian; Boizumault, Patrice; de Givry, Simon; Gutierrez, Patricia; Lee, Jimmy H. M.; Leung, Ka Lun; Loudni, Samir; Métivier, Jean-Philippe; Schiex, Thomas; Wu, Yi: Tractability-preserving transformations of global cost functions (2016)
  9. Carbonnel, Clément; Cooper, Martin C.: Tractability in constraint satisfaction problems: a survey (2016)
  10. Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon: Multi-language evaluation of exact solvers in graphical model discrete optimization (2016)
  11. Vanegas, Maria Carolina; Bloch, Isabelle; Inglada, Jordi: Fuzzy constraint satisfaction problem for model-based image interpretation (2016)
  12. Cambazard, Hadrien; Fages, Jean-Guillaume: New filtering for \textscAtMostNValueand its weighted variant: a Lagrangian approach (2015)
  13. Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav: The power of linear programming for general-valued CSPs (2015)
  14. Lallouet, Arnaud; Lee, Jimmy H. M.; Mak, Terrence W. K.; Yip, Justin: Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction (2015)
  15. Allouche, David; André, Isabelle; Barbe, Sophie; Davies, Jessica; de Givry, Simon; Katsirelos, George; O’Sullivan, Barry; Prestwich, Steve; Schiex, Thomas; Traoré, Seydou: Computational protein design as an optimization problem (2014)
  16. Lee, J. H. M.; Leung, K. L.; Shum, Y. W.: Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction (2014)
  17. Akplogan, Mahuna; De Givry, Simon; Métivier, Jean-Philippe; Quesnel, Gauthier; Joannon, Alexandre; Garcia, Frédérick: Solving the crop allocation problem using hard and soft constraints (2013)
  18. Helaoui, Maher; Naanaa, Wady: Modularity-based decompositions for valued CSP (2013)
  19. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  20. Cooper, M. C.; de Givry, S.; Sanchez, M.; Schiex, T.; Zytnicki, M.; Werner, T.: Soft arc consistency revisited (2010)

1 2 next