HUGINN
Combinatorial properties of optimal measurement sequences in variable block search — Huginn