Co-occurring keywords · papers mentioning both
Papers
Proof Logging for Smart Extensional Constraints (Extended Abstract)
IJCAI 2024
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)
IJCAI 2023
Explaining Propagators for String Edit Distance Constraints
AAAI 2020
Constraint Programming for Mining Borders of Frequent Itemsets
IJCAI 2019
On the Kernelization of Global Constraints
IJCAI 2017
Using Global Constraints and Reranking to Improve Cognates Detection
ACL 2017