answer set programming modulo ' space - time ' .
The BOBYQA algorithm for bound constrained optimization without derivatives