Integrating finite domain and set constraints into a set-based constraint language

DOI10.3233/FI-2009-177zbMATH Open1209.68507OpenAlexW2144957128MaRDI QIDQ3400565FDOQ3400565

A. Dal Palú, Gianfranco Rossi, Federico Bergenti

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-177

zbMATH Keywords

Finite Domain constraints, Set Constraints, Hereditarily Finite Sets

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Principles and Practice of Constraint Programming – CP 2004

Uses Software

• CLPS-B
• AMPL
• B-Prolog
• Cardinal
• SICStus
• SWI-Prolog
• Numerica
• ESRA
• JSetL

   Recommendations

• Title not available (Why is that?) 👍 👎
• Integrating Answer Set Reasoning with Constraint Solving Techniques 👍 👎
• Title not available (Why is that?) 👍 👎
• Principles of constraint systems and constraint solvers 👍 👎
• A methodological view of constraint solving 👍 👎

This page was built for publication: Integrating finite domain and set constraints into a set-based constraint language

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