首页>
外国专利>
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.
展开▼