×

ToulBar2

swMATH ID: 7289
Software Authors: Thomas Schiex; Simon de Givry; David Allouche
Description: 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.
Homepage: http://miat.inrae.fr/toulbar2
Keywords: combinatorial optimization; discrete constraint optimization; constraint programming; integer programming; probabilistic inference; solution counting; constraint satisfaction problem; maximum satisfiability Areas of application: operations research; artificial intelligence; education; engineering
Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; MiniZinc; z3; Knapsack; DIMACS; Walksat; LoMRF; SPFlow; RockIt; Xeggora; Tuffy; Alchemy; YIELDS; ComputeTW; LibDAI
Cited in: 23 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Soft arc consistency revisited. Zbl 1213.68580
Cooper, M. C.; de Givry, S.; Sanchez, M.; Schiex, T.; Zytnicki, M.; Werner, T.
2010
all top 5

Cited by 75 Authors

8 de Givry, Simon
5 Schiex, Thomas
4 Allouche, David
3 Katsirelos, George
3 Lee, Jimmy Ho-man
2 Bessiere, Christian
2 Boizumault, Patrice
2 Cooper, Martin C.
2 Leung, Ka Lun
2 Loudni, Samir
2 Métivier, Jean-Philippe
2 O’Sullivan, Barry
2 Zytnicki, Matthias
1 Aardal, Karen I.
1 Akplogan, Mahuna
1 Anders, Gerrit
1 André, Isabelle
1 Barbe, Sophie
1 Bloch, Isabelle
1 Cambazard, Hadrien
1 Carbonnel, Clément
1 Chistikov, Dmitry V.
1 Davies, Jessica
1 Dechter, Rina
1 Dimitrova, Rayna
1 Fages, Jean-Guillaume
1 Fioretto, Ferdinando
1 Garcia, Frédérick
1 Gottlob, Georg
1 Greco, Gianluigi
1 Gutierrez, Patricia
1 Helaoui, Maher
1 Heras, Federico
1 Hurley, Barry
1 Ibrahim, Mohamed-Hamza
1 Inglada, Jordi
1 Jégou, Philippe
1 Joannon, Alexandre
1 Knapp, Alexander
1 Kolmogorov, Vladimir
1 Koster, Arie M. C. A.
1 Lallouet, Arnaud
1 Lebbah, Yahia
1 Liffiton, Mark H.
1 Loukil, Lakhdar
1 Majumdar, Rupak
1 Mak, Terrence W. K.
1 Mannino, Carlo
1 Marques-Silva, João P.
1 Montalbano, Pierre
1 Morgado, António
1 Naanaa, Wady
1 Nguyen, Hiep
1 Ouali, Abdelkader
1 Pal, Christopher J.
1 Pesant, Gilles
1 Planes, Jordi
1 Pontelli, Enrico
1 Prestwich, Steven D.
1 Quesnel, Gauthier
1 Reif, Wolfgang
1 Sánchez, Martì
1 Sassano, Antonio
1 Scarcello, Francesco
1 Schiendorfer, Alexander
1 Shum, Y. W.
1 Terrioux, Cyril
1 Thapper, Johan
1 Traoré, Seydou
1 van Hoesel, Stan Peter Maria
1 Vanegas, Maria Carolina
1 Wu, Yi
1 Yeoh, William
1 Yip, Justin
1 Živný, Stanislav
all top 5

Cited in 9 Serials

10 Constraints
4 Artificial Intelligence
2 Annals of Mathematics and Artificial Intelligence
1 Acta Informatica
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 SIAM Journal on Computing
1 Annals of Operations Research
1 RAIRO. Operations Research

Cited in 4 Fields

19 Operations research, mathematical programming (90-XX)
10 Computer science (68-XX)
2 Biology and other natural sciences (92-XX)
1 Statistics (62-XX)

Citations by Year