Publication:3794170
From MaRDI portal
zbMath0649.03029MaRDI QIDQ3794170
Publication date: 1987
68Q25: Analysis of algorithms and problem complexity
68R10: Graph theory (including graph drawing) in computer science
03D15: Complexity of computation (including implicit computational complexity)
06E30: Boolean functions
03F20: Complexity of proofs
Related Items
Dynamics of cavitational demolition in the interaction of a shock wave with a free surface, Modeling of multicomponent multiphase mixture flows on the basis of the density-functional method