Publication:3006475

zbMath1218.68161MaRDI QIDQ3006475

Zhao, Xishun, Jiwei Jin

Publication date: 14 June 2011

zbMATH Keywords

satisfiability; Q-resolution; Horn clause sets; quantified generalized clause-sets

Mathematics Subject Classification ID

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