Strategy of defactorization in the resolution method

DOI10.1007/BF01103265zbMATH Open0643.68146MaRDI QIDQ1102129FDOQ1102129

Authors: V. I. Sharonov 

Publication date: 1988

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

zbMATH Keywords

resolutiondefactorization

Mathematics Subject Classification ID

Cites Work

• A strategy for ordering disjunctives in the resolution method

Cited In (2)

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

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)