conftrace_

search heuristic

11 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint satisfaction (2) reinforcement learning (2) tree adjoining grammar (1) syntactic ambiguity (1) graph neural network (1) modular robot design (1) design synthesis (1) serial manipulator (1) variable ordering (1) planning heuristics (1)

Papers

Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026 Learning Long-Horizon Action Dependencies in Sampling-Based Bilevel Planning CoRL 2024 One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction IJCAI 2023 Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) AAAI 2023 Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021 Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning AAAI 2021 Modular Robot Design Synthesis with Deep Reinforcement Learning AAAI 2020 Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search IJCAI 2019 Simulation-Based Approach to Efficient Commonsense Reasoning in Very Large Knowledge Bases AAAI 2019 Promoting multiword expressions in A* TAG parsing COLING 2016 Learning Linear Ranking Functions for Beam Search with Application to Planning JMLR 2009