From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “heuristic search” 22

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

SLOPE: Search with Learned Optimal Pruning-based Expansion
2024 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Davor Bokan, Zlatan Ajanović, Bakir Lačević

0

citations
Learning to Search and Searching to Learn for Generalization in Planning
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Michael Aichmüller, Yannik Hesse, Hector Geffner

0

citations
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction
2022 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe

1

citations
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction
2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe

15

citations
LLM-Driven Heuristic Synthesis for Industrial Process Control: Lessons from Hot Steel Rolling
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Emad Scharifi

0

citations
Robust Beam Search for Encoder-Decoder Attention Based Speech Recognition Without Length Bias
2020 conference-paper Computer Science Speech Recognition and Synthesis Open access

Wei Guo Zhou, Ralf Schlüter, Hermann Ney

7

citations
An Automated Intermolecular Reaction Discovery Approach Relying on Heuristic Atom-Partitioned Frontier Orbital Features
2025 Journal of Chemical Information and Modeling article Computer Science Computational Drug Discovery Methods

Ying Chen, Christoph Bannwarth

4

citations
An automated intermolecular reaction discovery approach relying on heuristic atom-partitioned frontier orbital features
2025 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Ying Chen, Christoph Bannwarth

0

citations
An automated intermolecular reaction discovery approach relying on heuristic atom-partitioned frontier orbital features
2025 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Ying Chen, Christoph Bannwarth

0

citations
Kinematically Adapted Sampling-Based Motion Planning Algorithm for Robotic Manipulators
2022 Springer proceedings in advanced robotics conference-paper Computer Science Robotic Path Planning Algorithms

Amir Shahidi, Thomas Kinzig, Mathias Hüsing, Burkhard J. Corves

4

citations
TACoS: A Tool for MTL Controller Synthesis
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Till Hofmann, Stefan Schupp

3

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

0

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Formal Methods in Verification Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Energy landscapes of combinatorial optimization in Ising machines
2024 Physical review. E article Computer Science Computability, Logic, AI Algorithms Open access

Dmitrii Dobrynin, Adrien Renaudineau, Mohammad Hizzani, Dmitri B. Strukov, Masoud Mohseni, John Paul Strachan

18

citations
The travelling salesperson problem and the challenges of near-term quantum advantage
2025 Quantum Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

Kate Smith‐Miles, Holger H. Hoos, Hao Wang, Thomas Bäck, Tobias J. Osborne

5

citations
An Adaptive Consensus Based Method for Multi-objective Optimization with Uniform Pareto Front Approximation
2023 Applied Mathematics & Optimization article Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Giacomo Borghi, Michaël Herty, Lorenzo Pareschi

30

citations
On Safety in Safe Bayesian Optimization
2024 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Christian Fiedler, Johanna Menn, Lukas Kreisköther, Sebastian Trimpe

3

citations
Exact Separation of Forbidden-Set Cuts Associated With Redundant Parity Checks of Binary Linear Codes
2020 IEEE Communications Letters article Computer Science Error Correcting Code Techniques Open access

Christian Puchert, Andreas M. Tillmann

2

citations
Differentiable Learning of Lifted Action Schemas for Classical Planning
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Jonas Reiter, Jakob Elias Gebler, Hector Geffner

0

citations
Multi-Valued Partial Order Plans in Numeric Planning
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
An adaptive consensus based method for multi-objective optimization with uniform Pareto front approximation
2022 RWTH Publications (RWTH Aachen) article Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Giacomo Borghi, Michaël Herty, Lorenzo Pareschi

0

citations

22 results