Estimating the efficiency of backtrack programs. (English) Zbl 0297.68037
MSC:
68Q25 | Analysis of algorithms and problem complexity |
05-04 | Software, source code, etc. for problems pertaining to combinatorics |
05A15 | Exact enumeration problems, generating functions |