scientific article; zbMATH DE number 1113999

zbMath0891.68026MaRDI QIDQ4375765

Jinchang Wang

Publication date: 8 February 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binary treessearching method

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Searching and sorting (68P10)

Related Items (3)

A weight-balanced branching rule for SAT ⋮ A cost-reducing question-selection algorithm for propositional knowledge-based systems ⋮ Backtracking tactics in the backtrack method for SAT

This page was built for publication: