Binary Optimal Control Of Single-Flux-Quantum Pulse Sequences