Co-occurring keywords
Papers
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
IJCAI 2024
Fair Distribution of Delivery Orders
IJCAI 2024
Efficient Detection of Long Consistent Cycles and its Application to Distributed Synchronization
CVPR 2024
A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
AAAI 2024