Knowledge compilation using the extension rule
type: Item
instance of: scholarly article
title: Knowledge compilation using the extension rule
zbMATH Open document ID: 1073.68078
DOI: 10.1023/B:JARS.0000029959.45572.44
author: Lin Hai
author: Jigui Sun
published in: Journal of Automated Reasoning
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 2091575
zbMATH Keywords: knowledge compilation
zbMATH Keywords: extension rule
zbMATH Keywords: EPCCL theory
MaRDI profile type: Publication
full work available at URL: b:jars.0000029959.45572.44
OpenAlex ID: W2012577786
description: scientific article; zbMATH DE number 2091575