Learning General Constraints in CSP

DOI10.1007/978-3-319-18008-3_28zbMath1459.68196MaRDI QIDQ5741482

Michael Veksler, Ofer Strichman

Publication date: 25 July 2016

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18008-3_28

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

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

Related Items

Learning general constraints in CSP

Uses Software

• MiniZinc
• Chaff
• CAMA
• iZplus
• Mistral