scientific article; zbMATH DE number 1113993
From MaRDI portal
Publication:4375758
zbMath0887.68019MaRDI QIDQ4375758
G. Neil Haven, Paul Walton jun. Purdom
Publication date: 25 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Searching and sorting (68P10) Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
A BDD SAT solver for satisfiability testing: An industrial case study ⋮ A fast parallel SAT-solver -- efficient workload balancing ⋮ The \(Multi\)-SAT algorithm
