A strategy for ordering disjunctives in the resolution method
type: Item
instance of: scholarly article
title: A strategy for ordering disjunctives in the resolution method
zbMATH Open document ID: 0643.68147
DOI: 10.1007/BF01103264
author: V. I. Sharonov
published in: Journal of Soviet Mathematics
publication date: 1988-01-01T00:00:00Z
review text: Translation from Issled. Prikl. Mat. 2, 85-90 (Russian) (1974; Zbl 0341.68060).
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4049140
zbMATH Keywords: ordering of disjunctives
zbMATH Keywords: resolution
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4049140