ToulBar2

swMATH7289MaRDI QIDQ19333FDOQ19333

Author name not available (Why is that?)

Described by source

• Soft arc consistency revisited

Cited In (22)

• MiniBrass: soft constraints for MiniZinc
• Tractability in constraint satisfaction problems: a survey
• Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction
• Tractability-preserving transformations of global cost functions
• Solving the Crop Allocation Problem using Hard and Soft Constraints
• New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach
• Iterative and core-guided maxsat solving: a survey and assessment
• Models and solution techniques for frequency assignment problems
• Multiple-choice knapsack constraint in graphical models
• Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
• Variable neighborhood search for graphical model energy minimization
• Modularity-based decompositions for valued CSP
• Approximate counting in SMT and value estimation for probabilistic programs
• Fuzzy constraint satisfaction problem for model-based image interpretation
• The Power of Linear Programming for General-Valued CSPs
• Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
• Multi-language evaluation of exact solvers in graphical model discrete optimization
• Computational protein design as an optimization problem
• 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
• Leveraging cluster backbones for improving MAP inference in statistical relational models

This page was built for software: ToulBar2