Search for a command to run...
Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification