A greedy search tree heuristic for symbolic regressionOlivetti de França, Fabrício · Information Sciences · 2018

Conformant planning via symbolic model checking and heuristic searchA. Cimatti; M. Roveri; P. Bertoli · 2004

A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic ExecutionHu, Yan; Kong, Weiqiang; Ren, Yizhi; Choo, Kim-Kwang Raymond · IEEE Access · 2017

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Symbolic Execution with Interval Solving and Meta-heuristic SearchBorges, Mateus; d'Amorim, Marcelo; Anand, Saswat; Bushnell, David; Pasareanu, Corina S. · 2012

Trail-Directed Model CheckingStefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue · 2001

Partial-order reduction and trail improvement in directed model checkingStefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente · 2004

Gamer, a General Game Playing AgentPeter Kissmann; Stefan Edelkamp · 2011

Heuristic Search || Computational BiologyEdelkamp, Stefan · 2012

Weak heaps engineeredEdelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki · Journal of Discrete Algorithms · 2013

Heuristic Search || IntroductionEdelkamp, Stefan · 2012

Heuristic Search || Automated System VerificationEdelkamp, Stefan · 2012

Heap Construction—50 Years LaterEdelkamp, Stefan; Elmasry, Amr; Katajainen, Jyrki · The Computer Journal · 2016