Learning general constraints in CSP

DOI10.1016/j.artint.2016.06.002zbMath1385.68042MaRDI QIDQ309921

Ofer Strichman, Michael Veksler

Publication date: 7 September 2016

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2016.06.002

zbMATH Keywords

inference rules; constraints solving

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.)

Uses Software

• MiniZinc
• Chaff
• CAMA
• CSP2SAT4J
• iZplus
• Mistral