Persistent and quasi-persistent lemmas in propositional model elimination

DOI10.1023/B:AMAI.0000012873.60775.bazbMath1081.68093OpenAlexW1969721751WikidataQ124991825 ScholiaQ124991825MaRDI QIDQ1430298

Fumiaki Okushi, Allen van Gelder

Publication date: 27 May 2004

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000012873.60775.ba

zbMATH Keywords

resolutionsatisfiabilityrefutationlemmasModel EliminationModoc

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• SATO
• HeerHugo

This page was built for publication: Persistent and quasi-persistent lemmas in propositional model elimination