conftrace_

combinatorial search

19 papers

Explore in graph

Also known as

CS

Co-occurring keywords

multi-agent path finding (60) combinatorial optimization (1039) path planning (144) sat solver (78) symmetry breaking (28) large language model (13587) computer algebra (8) program synthesis (233) boolean satisfiability (32) provable bound (2)

Papers

Flexible, Lifelong, Explainable, and Robust Solutions for Multi-Agent Path Finding Problems AAAI 2026
Multi-View Unsupervised Column Subset Selection via Combinatorial Search (Student Abstract) AAAI 2025
Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 2025
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024
Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning AAAI 2024
Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023
Electrophysiological Brain Source Imaging via Combinatorial Search with Provable Optimality AAAI 2023
Monte Carlo Thought Search: Large Language Model Querying for Complex Scientific Reasoning in Catalyst Design EMNLP 2023
Towards Efficient and Domain-Agnostic Evasion Attack with High-Dimensional Categorical Inputs AAAI 2023
Complex Query Answering with Neural Link Predictors (Extended Abstract)* IJCAI 2022
Accelerated Combinatorial Search for Outlier Detection with Provable Bound on Sub-Optimality AAAI 2021
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020
Searching with Consistent Prioritization for Multi-Agent Path Finding AAAI 2019
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019
Multi-Agent Path Finding for Large Agents AAAI 2019
HOUDINI: Lifelong Learning as Program Synthesis NIPS 2018
Multi-Agent Path Finding with Deadlines IJCAI 2018
Polynomial Time Optimal Query Algorithms for Finding Graphs with Arbitrary Real Weights COLT 2013
Embed and Project: Discrete Sampling with Universal Hashing NIPS 2013