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

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 (4)

• From Software Specifications to Constraint Programming
• Constraints, consistency and closure
• Program Development in Computational Logic
• Negation in combining constraint systems

   Recommendations

• Title not available (Why is that?) 👍 👎
• Binary vs. non-binary constraints 👍 👎
• Title not available (Why is that?) 👍 👎
• From Boolean Equalities to Constraints 👍 👎
• Title not available (Why is that?) 👍 👎
• Negative Boolean constraints 👍 👎
• Negation in combining constraint systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Constraints for input/output logics 👍 👎

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)