Homing Sequence Derivation with Quantified Boolean Satisfiability

Hung-En WangKuan-Hua TuJie-Hong R. JiangNatalia KushikJIE-HONG JIANG江介宏2019-10-242019-10-2420173029743https://scholars.lib.ntu.edu.tw/handle/123456789/427604Homing Sequence Derivation with Quantified Boolean Satisfiabilityconference paper10.1007/978-3-319-67549-7_142-s2.0-85030719505