Q4267801
type: Item
instance of: scholarly article
zbMATH Open document ID: 0924.68001
author: Jeff Erickson
published in: Chicago Journal of Theoretical Computer Science
publication date: 1999-10-20T00:00:00Z
full work available at URL: contents.html
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 1351079
zbMATH Keywords: linear satisfiability problems
MaRDI profile type: Publication
OpenAlex ID: W4234407907
DOI: 10.4086/CJTCS.1999.008
description: scientific article; zbMATH DE number 1351079