selected publications academic article Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Transactions on Computers. 71:696-711. 2021