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

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

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

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

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

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)