初识ASP(Answer Set Programming)
第一印象ASP(回答集编程)是基于逻辑程序和它们的回答集的声明式编程范式,它提供了一种简单且强大的建模语言来解决组合问题,而Potsdam Answer Set Solving Collection(Potassco)则把包括gringo、clasp的多种用于ASP的工具组合起来,成为一个集成的ASP系统clingo。用途主要用于快速解决计算困难的问题,如full-fledged SAT, Max...
原创
2018-04-05 23:59:15 ·
7479 阅读 ·
3 评论