We tackle the difficult port-of-entry inspection problem by adding coherency.
A decision-based logical model is defined under realistic assumptions.
We develop a simple yet widely applicable algorithm for real sequential inspections.
Combination of binary decision trees and minimization of boolean functions.
The efficiency and flexibility of the algorithm is measured against real data.