scientific article

zbMath1219.68086MaRDI QIDQ3089163

Ping Hou, Marc Denecker

Publication date: 24 August 2011

Full work available at URL: https://www.mat.unical.it/ASPOCP09/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SAT solversfixpoint definitionsFO(FD)integration of ASP and classical logicSAT(FD)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• Unnamed Item

This page was built for publication: