Resolution on quantified generalized clause-sets

MaRDI QIDQ3006475zbMATH OpenFDO

Authors Jiwei Jin, Xishun Zhao

Publication date 14 June 2011

zbMATH Keywords

Horn clause setsQ-resolutionquantified generalized clause-setssatisfiability

Mathematics Subject Classification ID

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

Recommendations

• Resolution for quantified monosigned formulae
• Resolution for quantified Boolean formulas
• scientific article; zbMATH DE number 4085614
• Q-resolution with generalized axioms
• Contributions to the theory of practical quantified Boolean formula solving

Cited in

(4)

• Resolution for quantified Boolean formulas
• Generalized completeness for SOS resolution and its application to a new notion of relevance
• Resolution for quantified monosigned formulae
• On generalized Horn formulas and k-resolution

This page was built for publication: Resolution on quantified generalized clause-sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006475)