Constraints in non-Boolean contexts

DOI10.4230/LIPICS.ICLP.2011.117zbMATH Open1245.68049OpenAlexW2102281908MaRDI QIDQ2909151FDOQ2909151

Sebastian Brand, Peter J. Stuckey, Leslie De Koninck

Publication date: 29 August 2012

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

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

zbMATH Keywords

model transformationpartial functionsconstraint modelling languages

Mathematics Subject Classification ID

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

Cited In (5)

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

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)