1. Solving SAT and SAT Modulo Theories
2. Document series on reaching consensus on avnu southbound TSN configuration: GE proposal for an IEEE 802.1CB draft YANG model;bush,2018
3. Document series on reaching consensus on avnu southbound TSN configuration: GE proposal for IEEE 802.1Qca draft YANG model;bush,2018
4. Industrial wireless time-sensitive networking;bush,2018
5. A hybrid quantum-classical approach to solving scheduling problems;tran;Proc 9th Annu Symp Combinatorial Search,2016