| Comparing Greedy Constructive Heuristic Subtour Elimination Methods for the Traveling Salesman Problem | Oct 15, 2019 | ARCTraveling Salesman Problem | —Unverified | 0 |
| Generalized Support and Formal Development of Constraint Propagators | Apr 22, 2015 | ARC | —Unverified | 0 |
| Generalized Totalizer Encoding for Pseudo-Boolean Constraints | Jul 21, 2015 | ARC | —Unverified | 0 |
| ARC: Argument Representation and Coverage Analysis for Zero-Shot Long Document Summarization with Instruction Following LLMs | May 29, 2025 | Abstractive Text SummarizationARC | —Unverified | 0 |
| Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets | Apr 22, 2016 | ARC | —Unverified | 0 |
| Compact and Efficient Encodings for Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models | Nov 26, 2018 | ARCComputational Efficiency | —Unverified | 0 |
| A Data-driven Pricing Scheme for Optimal Routing through Artificial Currencies | Nov 27, 2022 | ARCFairness | —Unverified | 0 |
| IEOPF: An Active Contour Model for Image Segmentation with Inhomogeneities Estimated by Orthogonal Primary Functions | Dec 5, 2017 | ARCClustering | —Unverified | 0 |
| Improving Denoising Diffusion Models via Simultaneous Estimation of Image and Noise | Oct 26, 2023 | ARCDenoising | —Unverified | 0 |
| Common Sense Is All You Need | Jan 11, 2025 | AllARC | —Unverified | 0 |
