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

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 176–200 of 261 papers

TitleStatusHype
Neural Maximum Common Subgraph Detection with Guided Subgraph Extraction—0
A Heuristic for Efficient Reduction in Hidden Layer Combinations For Feedforward Neural Networks—0
Temporal Planning with Intermediate Conditions and Effects—0
Compiler-Level Matrix Multiplication Optimization for Deep Learning—0
Efficient Multivariate Bandit Algorithm with Path Planning—0
Inductive-bias-driven Reinforcement Learning For Efficient Schedules in Heterogeneous Clusters—0
Discovering Reliable Correlations in Categorical DataCode0
ASNets: Deep Learning for Generalised PlanningCode0
Iterative Budgeted Exponential Search—0
Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering—0
AutoCompress: An Automatic DNN Structured Pruning Framework for Ultra-High Compression Rates—0
Heuristic Authorship ObfuscationCode0
Hybrid Planning for Dynamic Multimodal Stochastic Shortest PathsCode0
Direct Policy Gradients: Direct Optimization of Policies in Discrete Action Spaces—0
Exponential-Binary State-Space Search—0
Zooming Cautiously: Linear-Memory Heuristic Search With Node Expansion Guarantees—0
Optimizing Sequential Medical Treatments with Auto-Encoding Heuristic Search in POMDPs—0
Improved Safe Real-time Heuristic Search—0
Semantic variation operators for multidimensional genetic programmingCode0
A Hybrid Evolutionary Algorithm Framework for Optimising Power Take Off and Placements of Wave Energy Converters—0
Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments—0
Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices—0
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection—0
Learning Loop Invariants for Program VerificationCode0
Single-Agent Policy Tree Search With GuaranteesCode0
Show:102550
← PrevPage 8 of 11Next →

No leaderboard results yet.