MiniBrass: soft constraints for MiniZinc

DOI10.1007/s10601-018-9289-2zbMath1430.90525OpenAlexW2879916420MaRDI QIDQ2331099

Gerrit Anders, Alexander Schiendorfer, Wolfgang Reif, Alexander Knapp

Publication date: 25 October 2019

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-418925

zbMATH Keywords

soft constraintsmodeling languagesMiniZinc

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Related Items (2)

Human-centred feasibility restoration in practice ⋮ MiniBrass

Uses Software

• CP-nets
• Choco
• MiniZinc
• Gecode
• JaCoP
• ToulBar2
• NumberJack
• G12
• MiningZinc
• MiniSearch
• Essence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
• MiningZinc: a declarative framework for constraint-based mining
• Foundations of algebraic specification and formal software development.
• Arc consistency for soft constraints
• Essence: A constraint language for specifying combinatorial problems
• Soft arc consistency revisited
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semirings for constraint solving and programming.
• Bucket elimination: A unifying framework for reasoning
• On the reification of global constraints
• Multi-language evaluation of exact solvers in graphical model discrete optimization
• On non-serial dynamic programming
• Algorithmic mechanism design (extended abstract)
• Working with Preferences: Less Is More
• Over-Constrained Problems
• Beyond Theory and Data in Preference Modeling: Bringing Humans into the Loop
• Multiagent Systems
• Outer Branching: How to Optimize under Partial Orders?
• Semiring-based constraint satisfaction and optimization
• Distributed Constraint Optimization Problems and Applications: A Survey
• MiniZinc with Functions
• Partial Valuation Structures for Qualitative Soft Constraints
• Modelling with Option Types in MiniZinc
• Logic Programming
• Recent Advances in Constraints

This page was built for publication: MiniBrass: soft constraints for MiniZinc