Lemma and cut strategies for propositional model elimination

DOI10.1023/A:1018950727018zbMath0940.68119OpenAlexW1573983406MaRDI QIDQ1978019

Fumiaki Okushi, Allen van Gelder

Publication date: 7 June 2000

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

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

zbMATH Keywords

model eliminationmodoc

Mathematics Subject Classification ID

Related Items (2)

Unnamed Item ⋮ Complexity analysis of propositional resolution with autarky pruning

Uses Software

• SATO
• DIMACS

This page was built for publication: Lemma and cut strategies for propositional model elimination