Publication:4375778

zbMath0889.68072MaRDI QIDQ4375778

Peter Heusch, Ewald Speckenmeyer, Max Böhm

Publication date: 2 June 1998

zbMATH Keywords

conjunctive normal form; clauses

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68W15: Distributed algorithms