Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

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

  • weighted constraint satisfaction problem
  • graphical model
  • constraint optimization
  • integer linear programming
  • soft constraints
  • cost function network
  • computational complexity
  • optimization problems
  • linear programming
  • submodularity
  • computational protein design
  • MaxSAT
  • Markov random field
  • cost function networks
  • constraint satisfaction problems
  • heuristics
  • (mini-)bucket elimination
  • structural decomposition methods
  • consistency algorithms
  • filtering algorithm
  • discrete graphical model
  • maximum satisfiability
  • modeling languages
  • bisubmodularity
  • restart
  • neighborhood substitutability
  • MaxSMT
  • Lagrangian relaxation
  • polynomial-time
  • GPU

  • URL: miat.inrae.fr/toulbar2
  • InternetArchive / old-URL
  • Authors: Thomas Schiex; Simon de Givry; David Allouche

  • Add information on this software.


  • Related software:
  • MiniMaxSat
  • MaxHS
  • mplp2
  • NumberJack
  • Gecode
  • GitHub
  • z3
  • MiniZinc
  • G12
  • AtMostNValue
  • Show more...
  • MSUnCore
  • SLIDE
  • SATzilla
  • OpenGM
  • PBS
  • Proteus
  • OptSAT
  • SCIP
  • LibDAI
  • Osprey
  • Show less...

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

Showing results 21 to 22 of 22.
y Sorted by year (citations)

previous 1 2

  1. Cooper, M. C.; de Givry, S.; Sanchez, M.; Schiex, T.; Zytnicki, M.; Werner, T.: Soft arc consistency revisited (2010)
  2. Aardal, Karen I.; Van Hoesel, Stan P. M.; Koster, Arie M. C. A.; Mannino, Carlo; Sassano, Antonio: Models and solution techniques for frequency assignment problems (2007)

previous 1 2

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 62 Statistics
      • 68 Computer science
      • 90 Optimization
      • 92 Applications of...

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000

  • Chart: cumulative / absolute
  • Terms & Conditions
  • Imprint
  • Privacy Policy