Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
We put forward that required enhancements to constraint programming technology include concurrency, more sophisticated control mechanisms, and new features for expressing preferences.
Arnon Amir, Michael Lindenbaum
IEEE Transactions on Pattern Analysis and Machine Intelligence
Zhikun Yuen, Paula Branco, et al.
DSAA 2023
P.C. Yue, C.K. Wong
Journal of the ACM
Lars Graf, Thomas Bohnstingl, et al.
NeurIPS 2025