scientific article; zbMATH DE number 3999312
From MaRDI portal
zbMath0616.68065MaRDI QIDQ4725766
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Coloring of graphs and hypergraphs (05C15)
Related Items
Propositional truth maintenance systems: Classification and complexity analysis, Generalized Coloring of Permutations, Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation