Resolution for quantified Boolean formulas
type: Item
instance of: scholarly article
title: Resolution for quantified Boolean formulas
zbMATH Open document ID: 0828.68045
author: Hans Kleine Büning
author: Marek Karpinski
author: Andreas Flögel
published in: Information and Computation
publication date: 1995-05-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 03D40
zbMATH DE Number: 758672
zbMATH Keywords: quantified Boolean formulas
zbMATH Keywords: quantified Horn formulas
MaRDI profile type: Publication
full work available at URL: inco.1995.1025
OpenAlex ID: W1976876676
Wikidata QID: Q55889272
DOI: 10.1006/INCO.1995.1025
description: scientific article; zbMATH DE number 758672