% Key papers for Structure and complexity of constraint reasoning (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{cvpr2017_efficient_12237,
  title = {{Efficient Solvers for Minimal Problems by Syzygy-Based Reduction}},
  booktitle = {IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  year = {2017},
}

@inproceedings{aaai2016_numerical_105207,
  title = {{Numerical Relation Extraction with Minimal Supervision}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10361},
}

@inproceedings{aaai2022_using_2929,
  title = {{Using MaxSAT for Efficient Explanations of Tree Ensembles}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/03776-using-maxsat-for-efficient-explanations-of-tree-ensembles/},
}

@inproceedings{neurips2020_mitigating_60327,
  title = {{Mitigating Manipulation in Peer Review via Randomized Reviewer Assignments}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2020},
  url = {https://nips.cc/virtual/2020/poster/18898},
}

@inproceedings{aaai2022_sufficient_2794,
  title = {{Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05660-sufficient-reasons-for-classifier-decisions-in-the-presence-of-domain-constraints/},
}

@inproceedings{aaai2021_sat_1303,
  title = {{SAT-based Decision Tree Learning for Large Data Sets}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/03904-sat-based-decision-tree-learning-for-large-data-sets/},
}

@inproceedings{neurips2018_proximal_57537,
  title = {{Proximal Graphical Event Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11779},
}

@inproceedings{aaai2018_on_101094,
  title = {{On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11517},
}

@inproceedings{aaai2019_on_103281,
  title = {{On Testing of Uniform Samplers}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4774},
}

@inproceedings{aaai2018_premise_106138,
  title = {{Premise Set Caching for Enumerating Minimal Correction Subsets}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/12213},
}

@inproceedings{aaai2016_dynamic_105348,
  title = {{Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10401},
}

@inproceedings{aaai2021_finding_619,
  title = {{Finding Diverse Trees, Paths, and More}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2021},
  url = {https://aaai.org/papers/03778-finding-diverse-trees-paths-and-more/},
}

@inproceedings{aaai2022_asp_1694,
  title = {{ASP-Based Declarative Process Mining}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05539-asp-based-declarative-process-mining/},
}

@inproceedings{aaai2016_scalable_104965,
  title = {{Scalable Training of Markov Logic Networks Using Approximate Counting}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10119},
}

@inproceedings{aaai2022_rushing_2663,
  title = {{Rushing and Strolling among Answer Sets – Navigation Made Easy}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05651-rushing-and-strolling-among-answer-sets-navigation-made-easy/},
}

@inproceedings{icml2018_selecting_36977,
  title = {{Selecting Representative Examples for Program Synthesis}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2018},
  url = {https://icml.cc/virtual/2018/poster/2384},
}

@inproceedings{aaai2018_optimised_101470,
  title = {{Optimised Maintenance of Datalog Materialisations}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11554},
}

@inproceedings{aaai2022_the_2828,
  title = {{The Complexity of Temporal Vertex Cover in Small-Degree Graphs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/10193-the-complexity-of-temporal-vertex-cover-in-small-degree-graphs/},
}

@inproceedings{aaai2023_fastdiagp_3635,
  title = {{FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/25792},
}

@inproceedings{aaai2022_approxasp_1750,
  title = {{ApproxASP – a Scalable Approximate Answer Set Counter}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05755-approxasp-a-scalable-approximate-answer-set-counter/},
}

@inproceedings{aaai2024_learning_6505,
  title = {{Learning to Learn in Interactive Constraint Acquisition}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28655},
}

@inproceedings{aaai2024_learning_6483,
  title = {{Learning Small Decision Trees for Data of Low Rank-Width}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28916},
}

@inproceedings{neurips2024_are_73009,
  title = {{Are Multiple Instance Learning Algorithms Learnable for Instances?}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94412},
}

@inproceedings{aaai2024_encoding_5830,
  title = {{Encoding Constraints as Binary Constraint Networks Satisfying BTP}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28657},
}

@inproceedings{aaai2025_algorithm_8076,
  title = {{Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35275},
}

@inproceedings{aaai2025_dcc_8591,
  title = {{DCC: Differentiable Cardinality Constraints for Partial Index Tracking}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33225},
}

@inproceedings{aaai2025_solving_10791,
  title = {{Solving Multiagent Path Finding on Highly Centralized Networks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34484},
}

@inproceedings{aaai2024_automatic_5237,
  title = {{Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28645},
}

@inproceedings{aaai2024_linear_6535,
  title = {{Linear-Time Algorithms for Front-Door Adjustment in Causal Graphs}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30043},
}

@inproceedings{aaai2024_on_6839,
  title = {{On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28923},
}

@inproceedings{aaai2024_what_7806,
  title = {{What Are the Rules? Discovering Constraints from Data}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28658},
}

@inproceedings{aaai2025_a_7880,
  title = {{A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33224},
}

@inproceedings{aaai2025_exploiting_9066,
  title = {{Exploiting Symmetries in MUS Computation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33209},
}

@inproceedings{aaai2025_witty_11307,
  title = {{Witty: An Efficient Solver for Computing Minimum-Size Decision Trees}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34268},
}

@inproceedings{aaai2024_sequential_7322,
  title = {{Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint)}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30609},
}

@inproceedings{aaai2025_certifying_8404,
  title = {{Certifying Bounds Propagation for Integer Multiplication Constraints}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33230},
}

@inproceedings{aaai2025_linear_9798,
  title = {{Linear Equations with Min and Max Operators: Computational Complexity}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33212},
}

@inproceedings{aaai2025_on_10179,
  title = {{On the Modelling of Constraints with Tractable Logical Operators}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33238},
}

@inproceedings{icml2024_the_45573,
  title = {{The Computational Complexity of Finding Second-Order Stationary Points}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/32879},
}

@inproceedings{icml2025_polynomial_47867,
  title = {{Polynomial-Time Approximability of Constrained Reinforcement Learning}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/44736},
}