Constraints in non-Boolean contexts

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

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

partial functionsmodel transformationconstraint modelling languages

Mathematics Subject Classification ID

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

Related Items (2)

Program Development in Computational Logic ⋮ Negation in combining constraint systems

Recommendations

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

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)