Login / Signup
Horn renamability and hypergraphs.
Dusan Hvalica
Published in:
J. Comput. Inf. Technol. (2009)
Keyphrases
</>
np hard
horn theories
graph theory
propositional logic
hypergraph model
first order logic
knowledge compilation
metadata
case study
image sequences
optimal solution
evolutionary algorithm
knowledge representation