Constraints in non-Boolean contexts

DOI10.4230/LIPICS.ICLP.2011.117MaRDI QIDQ2909151zbMATH OpenOpenAlexFDO

Authors Leslie De Koninck, Sebastian Brand, Peter J. Stuckey

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_23cb.html

zbMATH Keywords

constraint modelling languagesmodel transformationpartial functions

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2086994
• Binary vs. non-binary constraints
• scientific article; zbMATH DE number 512884
• From Boolean equalities to constraints
• scientific article; zbMATH DE number 1555185
• Negative Boolean constraints
• Negation in combining constraint systems
• scientific article; zbMATH DE number 1738291
• scientific article; zbMATH DE number 1688812
• Constraints for input/output logics

Cited in

(7)

• Constraints, consistency and closure
• Negative Boolean constraints
• Negation in combining constraint systems
• MiniZinc with functions
• Program Development in Computational Logic
• From Software Specifications to Constraint Programming
• The design of the zinc modelling language

This page was built for publication: Constraints in non-Boolean contexts

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