Resolution proofs of matching principles
type: Item
instance of: scholarly article
title: Resolution proofs of matching principles
zbMATH Open document ID: 1010.68165
DOI: 10.1023/A:1021231610627
author: Alasdair Urquhart
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2003-03-10T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1878965
zbMATH Keywords: complexity of proofs
zbMATH Keywords: resolution method
zbMATH Keywords: pigeon-hole principle
zbMATH Keywords: matchings in bipartite graphs
MaRDI profile type: Publication
full work available at URL: a:1021231610627
OpenAlex ID: W1568798323
description: scientific article; zbMATH DE number 1878965