Parallel cooperative propositional theorem proving

DOI10.1023/A:1018946526109zbMath0940.68120OpenAlexW1485312863MaRDI QIDQ1978017

Fumiaki Okushi

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:1018946526109

zbMATH Keywords

parallel modocparallel satisfiability testing algorithm

Mathematics Subject Classification ID

Related Items (4)

Computing Maximal Autarkies with Few and Simple Oracle Queries ⋮ Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets ⋮ Autark assignments of Horn CNFs ⋮ Investigations on autark assignments

This page was built for publication: Parallel cooperative propositional theorem proving