Strategy of defactorization in the resolution method

DOI10.1007/BF01103265MaRDI QIDQ1102129zbMATH OpenFDO

Authors V. I. Sharonov

Publication date 1988

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01103265

zbMATH Keywords

defactorizationresolution

Mathematics Subject Classification ID

Cites work

• A strategy for ordering disjunctives in the resolution method

Cited in

(2)

• One modification of the ordering strategy in the resolution method
• Stratified resolution

This page was built for publication: Strategy of defactorization in the resolution method

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