scientific article; zbMATH DE number 1303023

zbMath0923.03055MaRDI QIDQ4249522

Toshihide Ibaraki, Thomas Eiter, Kazuhisa Makino

Publication date: 17 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polynomial time algorithmscharacteristic modelsdisjunctions of propositional Horn theoriesHorn CNFsHorn core

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05)

Related Items

On the difference of Horn theories ⋮ Join on Closure Systems Using Direct Implicational Basis Representation ⋮ Semantical and computational aspects of Horn approximations