Publication:3201761

zbMath0715.68041MaRDI QIDQ3201761

Ewald Speckenmeyer

Publication date: 1989

zbMATH Keywords

superlinear speedup; parallel backtracking algorithms

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68W15: Distributed algorithms

Related Items

A fast parallel SAT-solver -- efficient workload balancing