SOTAVerified

Heuristic Search

Heuristic Search is a problem-solving method that uses practical rules or "guides" (heuristics) to find solutions more quickly than exhaustive search, by focusing on the most promising paths first.

Papers

Showing 201250 of 261 papers

TitleStatusHype
Neural Maximum Common Subgraph Detection with Guided Subgraph Extraction0
Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill?0
Non-Blocking Batch A* (Technical Report)0
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning0
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains0
On Bellman's Optimality Principle for zs-POSGs0
Online Planning Algorithms for POMDPs0
On-line Planning and Scheduling: An Application to Controlling Modular Printers0
Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments0
On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search0
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned SystemsCode0
On Parallel External-Memory Bidirectional SearchCode0
Fast threshold optimization for multi-label audio tagging using Surrogate gradient learningCode0
A Novel Point-based Algorithm for Multi-agent Control Using the Common Information ApproachCode0
Crafting a Pogo Stick in Minecraft with Heuristic Search (Extended Abstract)Code0
Counterfactual Explanation Algorithms for Behavioral and Textual DataCode0
Finding Optimal Diverse Feature Sets with Alternative Feature SelectionCode0
Learning Heuristic Selection with Dynamic Algorithm ConfigurationCode0
Factored World Models for Zero-Shot Generalization in Robotic ManipulationCode0
Front-to-End Bidirectional Heuristic Search with Near-Optimal Node ExpansionsCode0
Evolving Deep Convolutional Neural Networks for Image ClassificationCode0
Ultrafast learning of 4-node hybridization cycles in phylogenetic networks using algebraic invariantsCode0
Learning Loop Invariants for Program VerificationCode0
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objectsCode0
S^*: A Heuristic Information-Based Approximation Framework for Multi-Goal Path FindingCode0
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeCode0
Discovering Reliable Dependencies from Data: Hardness and Improved AlgorithmsCode0
A Training Data Recipe to Accelerate A* Search with Language ModelsCode0
Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex ColoringCode0
BeamAttack: Generating High-quality Textual Adversarial Examples through Beam Search and Mixed Semantic SpacesCode0
LLM-Virus: Evolutionary Jailbreak Attack on Large Language ModelsCode0
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability ObjectivesCode0
A More General Theory of Diagnosis from First PrinciplesCode0
Heuristic Authorship ObfuscationCode0
Discovering Reliable Correlations in Categorical DataCode0
MASAI: Multi-agent Summative Assessment Improvement for Unsupervised Environment DesignCode0
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical PlanningCode0
Towards Efficient Verification of Quantized Neural NetworksCode0
Optimistic variants of single-objective bilevel optimization for evolutionary algorithmsCode0
Optimization of Topology-Aware Job Allocation on a High-Performance Computing Cluster by Neural Simulated AnnealingCode0
Towards Optimally Efficient Search with Deep Learning for Large-Scale MIMO SystemsCode0
Syntax Controlled Knowledge Graph-to-Text Generation with Order and Semantic ConsistencyCode0
Semantic variation operators for multidimensional genetic programmingCode0
Parallel Model Exploration for Tumor Treatment SimulationsCode0
Deliberative and Conceptual Inference in Service RobotsCode0
Pareto local search for a multi-objective demand response problem in residential areas with heat pumps and electric vehiclesCode0
Shielding in Resource-Constrained Goal POMDPsCode0
Similarity-Based Equational Inference in PhysicsCode0
Hybrid Planning for Dynamic Multimodal Stochastic Shortest PathsCode0
Similarity Downselection: A Python implementation of a heuristic search algorithm for finding the set of the n most dissimilar items with an application in conformer samplingCode0
Show:102550
← PrevPage 5 of 6Next →

No leaderboard results yet.