Theorem proving based on the extension rule

DOI10.1023/A:1027339205632zbMath1043.03012OpenAlexW127232014MaRDI QIDQ1431338

Hai Lin, Jigui Sun, Yi-Min Zhang

Publication date: 27 May 2004

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

Full work available at URL: https://doi.org/10.1023/a:1027339205632

zbMATH Keywords

automated theorem provinginclusion-exclusion principleextension rulecomplementary factor

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

Approximate Model Counting via Extension Rule ⋮ New stochastic local search approaches for computing preferred extensions of abstract argumentation ⋮ Two approximate algorithms for model counting

This page was built for publication: Theorem proving based on the extension rule