首页> 外国专利> BRANCHING HEURISTICS FOR AN LAZY-GROUNDING-BASED ASP SOLVER

BRANCHING HEURISTICS FOR AN LAZY-GROUNDING-BASED ASP SOLVER

机译：基于lazy-grounding的ASP求解器的分支启发

页面导航

摘要
著录项
相似文献

摘要

The invention is related to a Computer implemented Lazy-Grounding-based ASP Solver characterized in that a branching heuristic is used to steer the search for solutions.

机译：本发明涉及基于计算机实现的基于懒人接地的ASP求解器，其特征在于，使用分支启发法来引导对解的搜索。

著录项

公开/公告号WO2018141763A1

专利类型
公开/公告日2018-08-09

原文格式PDF
申请/专利权人 SIEMENS AG ÖSTERREICH;
展开▼

申请/专利号WO2018EP52333
发明设计人 TAUPE RICHARD;
展开▼

申请日2018-01-31
分类号G06N5;
国家 WO
入库时间 2022-08-21 12:43:10

相似文献

专利
外文文献
中文文献