On finding solutions for extended Horn formulas

From MaRDI portal
Publication:673602

DOI10.1016/0020-0190(95)00019-9zbMath0875.68451OpenAlexW1974010251MaRDI QIDQ673602

R. P. Swaminathan, Fred S. Annexstein, John S. Schlipf, John V. Franco

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00019-9




Related Items (19)



Cites Work


This page was built for publication: On finding solutions for extended Horn formulas