Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
type: Item
instance of: scholarly article
title: Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
zbMATH Open document ID: 1187.68552
DOI: 10.1007/11814948_4
author: Oliver Kullmann
author: Inês Lynce
author: Joao Marques-Silva
published in: Lecture Notes in Computer Science
publication date: 2007-09-04T00:00:00Z
full work available at URL: jpms-sat06b.pdf
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5187237
MaRDI profile type: Publication
OpenAlex ID: W2095623224
description: scientific article; zbMATH DE number 5187237