ToulBar2
From MaRDI portal
Cited in
(46)- DARN!
- OptSAT
- MaxSolver
- Approximate counting in SMT and value estimation for probabilistic programs
- Fuzzy constraint satisfaction problem for model-based image interpretation
- Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
- Combining restarts, nogoods and bag-connected decompositions for solving csps
- Triangle-based consistencies for cost function networks
- Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
- NumberJack
- OPIUM
- SLIDE
- FASoft
- AtMostNValue
- Multiple-choice knapsack constraint in graphical models
- MSUnCore
- Leveraging cluster backbones for improving MAP inference in statistical relational models
- G12
- Variable neighborhood search for graphical model energy minimization
- ComputeTW
- MiniBrass: soft constraints for MiniZinc
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction
- Iterative and core-guided maxsat solving: a survey and assessment
- ROTOR
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Computational protein design as an optimization problem
- Tractability in constraint satisfaction problems: a survey
- Alchemy
- Tractability-preserving transformations of global cost functions
- OpenGM
- mplp2
- DAOOPT
- Osprey
- MiniSearch
- Modularity-based decompositions for valued CSP
- MiniBrass
- YIELDS
- Xeggora
- RockIt
- SPFlow
- LoMRF
- Solving the crop allocation problem using hard and soft constraints
- The power of linear programming for general-valued CSPs
- Models and solution techniques for frequency assignment problems
- New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach
This page was built for software: ToulBar2
