IT University of Copenhagen 2300 Copenhagen S, Denmark;
机译:一个贪婪的搜索树启发式符号回归
机译:通过符号模型检查和启发式搜索进行一致的计划
机译:GRAPP2:快速和内存高效的基因中心装配和同性恋搜索组件测序数据
机译:当完美不够好的时候:关于符号启发式搜索的搜索行为
机译:加快在线启发式搜索的融合并扩大离线启发式搜索。
机译:GRASP2:快速且高效存储的以基因为中心的组装和同源搜索用于宏基因组测序数据
机译:符号回归的贪婪搜索树启发式算法
机译:因子马尔可夫决策过程的符号启发式搜索