% Key papers for Heuristics for integer programming (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{icml2020_lifted_38420,
  title = {{Lifted Disjoint Paths with Application in Multiple Object Tracking}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/5878},
}

@inproceedings{cvpr2018_deep_12967,
  title = {{Deep Hashing via Discrepancy Minimization}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2018},
  url = {https://openaccess.thecvf.com/content_cvpr_2018/html/Chen_Deep_Hashing_via_CVPR_2018_paper.html},
}

@inproceedings{cvpr2016_guaranteed_11582,
  title = {{Guaranteed Outlier Removal With Mixed Integer Linear Programs}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2016},
}

@inproceedings{cvpr2017_a_11999,
  title = {{A Clever Elimination Strategy for Efficient Minimal Solvers}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2017},
}

@inproceedings{cvpr2016_moral_11707,
  title = {{Moral Lineage Tracing}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2016},
}

@inproceedings{cvpr2020_mina_15859,
  title = {{MINA: Convex Mixed-Integer Programming for Non-Rigid Shape Alignment}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2020},
}

@inproceedings{cvpr2017_a_12016,
  title = {{A Message Passing Algorithm for the Minimum Cost Multicut Problem}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2017},
}

@inproceedings{aaai2022_an_1737,
  title = {{An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/10174-an-exact-algorithm-with-new-upper-bounds-for-the-maximum-k-defective-clique-problem-in-massive-sparse-graphs/},
}

@inproceedings{aaai2019_separator_100609,
  title = {{Separator-Based Pruned Dynamic Programming for Steiner Tree}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/3965},
}

@inproceedings{neurips2020_a_59250,
  title = {{A General Large Neighborhood Search Framework for Solving Integer Linear Programs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/17858},
}

@inproceedings{aaai2017_three_104591,
  title = {{Three New Algorithms to Solve N-POMDPs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2017},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11169},
}

@inproceedings{cvpr2018_a_12792,
  title = {{A Fast Resection-Intersection Method for the Known Rotation Problem}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2018},
  url = {https://openaccess.thecvf.com/content_cvpr_2018/html/Zhang_A_Fast_Resection-Intersection_CVPR_2018_paper.html},
}

@inproceedings{neurips2022_a_64446,
  title = {{A Unified Hard-Constraint Framework for Solving Geometrically Complex PDEs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/53220},
}

@inproceedings{cvpr2024_an_22764,
  title = {{An N-Point Linear Solver for Line and Motion Estimation with Event Cameras}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2024},
  url = {https://cvpr.thecvf.com/virtual/2024/poster/30918},
}

@inproceedings{aaai2021_branch_213,
  title = {{Branch and Price for Bus Driver Scheduling with Complex Break Constraints}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/11853-branch-and-price-for-bus-driver-scheduling-with-complex-break-constraints/},
}

@inproceedings{aaai2023_walkability_4950,
  title = {{Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26667},
}

@inproceedings{cvpr2022_fastdog_18837,
  title = {{FastDOG: Fast Discrete Optimization on GPU}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2022},
}

@inproceedings{neurips2021_sample_62580,
  title = {{Sample Complexity of Tree Search Configuration: Cutting Planes and Beyond}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2021},
  url = {https://nips.cc/virtual/2021/poster/28650},
}

@inproceedings{aaai2019_solving_100604,
  title = {{Solving Integer Quadratic Programming via Explicit and Structural Restrictions}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/3960},
}

@inproceedings{aaai2020_improved_100630,
  title = {{Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5498},
}

@inproceedings{cvpr2025_convex_25782,
  title = {{Convex Relaxation for Robust Vanishing Point Estimation in Manhattan World}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2025},
  url = {https://cvpr.thecvf.com/virtual/2025/poster/33434},
}

@inproceedings{aaai2026_assignment_106099,
  title = {{Assignment Problems in Cost Function Networks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/38447},
}

@inproceedings{aaai2025_proactive_10362,
  title = {{Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34854},
}

@inproceedings{aaai2024_approximate_5200,
  title = {{Approximate Integer Solution Counts over Linear Arithmetic Constraints}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28640},
}

@inproceedings{aaai2024_kd_6369,
  title = {{KD-Club: An Efficient Exact Algorithm with New Coloring-Based Upper Bound for the Maximum k-Defective Clique Problem}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30061},
}

@inproceedings{aaai2024_stable_7406,
  title = {{Stable Matchings in Practice: A Constraint Programming Approach}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30244},
}

@inproceedings{aaai2025_improving_9541,
  title = {{Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33226},
}

@inproceedings{aaai2024_check_5398,
  title = {{Check-In Desk Scheduling Optimisation at CDG International Airport}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30308},
}

@inproceedings{aaai2025_improving_9523,
  title = {{Improving Community-Participated Patrol for Anti-Poaching}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35072},
}

@inproceedings{aaai2026_a_106100,
  title = {{A GPU-based Constraint Programming Solver}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/38448},
}

@inproceedings{aaai2024_conversational_5505,
  title = {{Conversational Modeling for Constraint Satisfaction}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30268},
}

@inproceedings{icml2024_differentiable_43387,
  title = {{Differentiable Combinatorial Scheduling at Scale}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/35065},
}

@inproceedings{icml2024_box_44065,
  title = {{Box Facets and Cut Facets of Lifted Multicut Polytopes}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34387},
}

@inproceedings{icml2024_fast_45041,
  title = {{Fast, Scalable, Warm-Start Semidefinite Programming with Spectral Bundling and Sketching}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/33411},
}

@inproceedings{icml2024_a_45738,
  title = {{A New Branch-and-Bound Pruning Framework for \$ell\_0\$-Regularized Problems}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/32714},
}

@inproceedings{icml2026_batched_50207,
  title = {{Batched First-Order Methods for Parallel LP Solving in MIP}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=A4qADJulVa},
}

@inproceedings{neurips2025_fram_79680,
  title = {{FRAM: Frobenius-Regularized Assignment Matching with Mixed-Precision Computing}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=rqn7XLNUAv},
}

@inproceedings{neurips2026_b_94639,
  title = {{B\$^3\$-PWL: GPU-Batched Branch-and-Bound for Piecewise-Linear Optimization with SOS2 Constraints}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2026},
  url = {https://neurips.cc/virtual/2026/poster/150051},
}

@inproceedings{aaai2026_aperiodic_106086,
  title = {{Aperiodic Tiling and Rhythmic Canons: A CP Journey}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/38434},
}