scientific article; zbMATH DE number 408798
From MaRDI portal
Publication:4202942
zbMath0819.68105MaRDI QIDQ4202942
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional logicHorn clausesknowledge basepolyhedral projectioninference methodunit \(K\)-resolution
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Projection, consistency, and George Boole ⋮ Long range planning in the process industries: A projection approach ⋮ Many-valued logic and mixed integer programming ⋮ Analyzing read-once cutting plane proofs in Horn systems ⋮ Logic cuts for multilevel generalized assignment problems. ⋮ Projecting systems of linear inequalities with binary variables ⋮ Mixed logical-linear programming ⋮ On the restricted equivalence for subclasses of propositional logic
This page was built for publication:
