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

DOI10.3233/FI-2009-177MaRDI QIDQ3400565zbMATH OpenOpenAlexFDO

Authors Federico Bergenti, A. Dal Palú, Gianfranco Rossi

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)

Recommendations

• scientific article; zbMATH DE number 2243396
• Integrating Answer Set Reasoning with Constraint Solving Techniques
• scientific article; zbMATH DE number 1954119
• Principles of constraint systems and constraint solvers
• A methodological view of constraint solving

Cited in

(2)

• scientific article; zbMATH DE number 2243396 (Why is no real title available?)
• Principles and Practice of Constraint Programming – CP 2004

Describes a project that uses

Uses Software

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

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)