Knowledge compilation using the extension rule

DOI10.1023/B:JARS.0000029959.45572.44zbMath1073.68078OpenAlexW2012577786MaRDI QIDQ1876096

Lin Hai, Jigui Sun

Publication date: 16 August 2004

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jars.0000029959.45572.44

zbMATH Keywords

knowledge compilationextension ruleEPCCL theory

Mathematics Subject Classification ID

Related Items (1)

Efficient query processing with reduced implicate tries

This page was built for publication: Knowledge compilation using the extension rule