Exhaustive Computer Search Protocol Design | Exhaustive Computer Search | Mathematics | NEROS