MiniBrass: soft constraints for MiniZinc

DOI10.1007/S10601-018-9289-2MaRDI QIDQ2331099zbMATH OpenOpenAlexFDO

Authors Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif

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

MiniZincmodeling languagessoft constraints

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Recommendations

• scientific article; zbMATH DE number 2084757
• Which soft constraints do you prefer?
• scientific article; zbMATH DE number 2080300
• MICAI 2004: Advances in Artificial Intelligence
• Semiring-Based Soft Constraints

Cites work

• Algorithmic mechanism design (extended abstract)
• Arc consistency for soft constraints
• Beyond theory and data in preference modeling: bringing humans into the loop
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Bucket elimination: A unifying framework for reasoning
• Distributed constraint optimization problems and applications: a survey
• Essence: A constraint language for specifying combinatorial problems
• Foundations of algebraic specification and formal software development.
• Handbook of constraint programming.
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 683338 (Why is no real title available?)
• scientific article; zbMATH DE number 2243357 (Why is no real title available?)
• Logic Programming
• MiningZinc: a declarative framework for constraint-based mining
• MiniZinc with functions
• Modelling with option types in MiniZinc
• Multi-language evaluation of exact solvers in graphical model discrete optimization
• Multiagent Systems
• On non-serial dynamic programming
• On the reification of global constraints
• Outer branching: how to optimize under partial orders?
• Over-constrained problems
• Partial valuation structures for qualitative soft constraints
• Recent Advances in Constraints
• Semiring-based constraint satisfaction and optimization
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semirings for constraint solving and programming.
• Soft arc consistency revisited
• Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
• Working with Preferences: Less Is More

Cited in

(8)

• A stochastic continuous optimization backend for MiniZinc with applications to geometrical placement problems
• MiniBrass
• Modelling with option types in MiniZinc
• Human-centred feasibility restoration in practice
• Automated QoS-aware service selection based on soft constraints
• Many-valued coalgebraic logic over semi-primal varieties
• Cost-minimal parameter correction subsets for unsatisfiable constraint problems
• A constraint-based local search backend for MiniZinc

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2331099)