回答集编程-一流百科

回答集编程

回答集编程答案集编程（ASP）是一种针对困难（主要是NP困难）搜索问题的声明式编程形式。它以逻辑编程的稳定模型（答案集）语义为基础。在ASP中，搜索问题被...