ToulBar2

Toulbar2 is an exact discrete optimization c++ open-source software for Graphical Models such as Cost Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean Optimization, and Bayesian Networks.

Keywords for this software

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

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

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

1 2 next

  1. Ibrahim, Mohamed-Hamza; Pal, Christopher; Pesant, Gilles: Leveraging cluster backbones for improving MAP inference in statistical relational models (2020)
  2. Ouali, Abdelkader; Allouche, David; de Givry, Simon; Loudni, Samir; Lebbah, Yahia; Loukil, Lakhdar; Boizumault, Patrice: Variable neighborhood search for graphical model energy minimization (2020)
  3. Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina: Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs (2018)
  4. Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco: Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms (2018)
  5. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  6. Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak: Approximate counting in SMT and value estimation for probabilistic programs (2017)
  7. Jégou, Philippe; Terrioux, Cyril: Combining restarts, nogoods and bag-connected decompositions for solving csps (2017)
  8. Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas: Triangle-based consistencies for cost function networks (2017)
  9. 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)
  10. Carbonnel, Clément; Cooper, Martin C.: Tractability in constraint satisfaction problems: a survey (2016)
  11. 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)
  12. Vanegas, Maria Carolina; Bloch, Isabelle; Inglada, Jordi: Fuzzy constraint satisfaction problem for model-based image interpretation (2016)
  13. Cambazard, Hadrien; Fages, Jean-Guillaume: New filtering for \textscAtMostNValueand its weighted variant: a Lagrangian approach (2015)
  14. Kolmogorov, Vladimir; Thapper, Johan; Živný, Stanislav: The power of linear programming for general-valued CSPs (2015)
  15. Lallouet, Arnaud; Lee, Jimmy H. M.; Mak, Terrence W. K.; Yip, Justin: Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction (2015)
  16. 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)
  17. Lee, J. H. M.; Leung, K. L.; Shum, Y. W.: Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction (2014)
  18. 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)
  19. Helaoui, Maher; Naanaa, Wady: Modularity-based decompositions for valued CSP (2013)
  20. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)

1 2 next