scientific article; zbMATH DE number 2088041

zbMath1048.68599MaRDI QIDQ4739121

Jia-Huai You, Guan-Shieng Huang, Churn-Jung Liau, Xiu-Mei Jia

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2338/23380119.htm

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

Mathematics Subject Classification ID

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

Related Items

A Model for Phase Transition of Random Answer-Set Programs ⋮ Random logic programs: Linear model ⋮ ASSAT: computing answer sets of a logic program by SAT solvers

Uses Software

• SATO
• Smodels