Integrating Finite Domain and Set Constraints into a Set-based Constraint Language

DOI10.3233/FI-2009-177zbMath1209.68507OpenAlexW2144957128MaRDI QIDQ3400565

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)

Uses Software

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

This page was built for publication: Integrating Finite Domain and Set Constraints into a Set-based Constraint Language