| 臺大學術典藏 |
2019-10-24T07:45:22Z |
Homing Sequence Derivation with Quantified Boolean Satisfiability
|
Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang |
| 臺大學術典藏 |
2019-10-24T07:45:22Z |
Homing Sequence Derivation with Quantified Boolean Satisfiability
|
Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG; 江介宏; Kuan-Hua Tu; Hung-En Wang; 江介宏;JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang |
| 臺大學術典藏 |
2019-10-24T07:43:08Z |
Homing Sequence Derivation with Quantified Boolean Satisfiability
|
JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang; Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG |
| 臺大學術典藏 |
2019-10-24T07:43:08Z |
Homing Sequence Derivation with Quantified Boolean Satisfiability
|
JIE-HONG JIANG;Natalia Kushik;Jie-Hong R. Jiang;Kuan-Hua Tu;Hung-En Wang; Hung-En Wang; Kuan-Hua Tu; Jie-Hong R. Jiang; Natalia Kushik; JIE-HONG JIANG |
| 臺大學術典藏 |
2018-09-10T15:36:37Z |
String Analysis via Automata Manipulation with Logic Circuit Representation
|
Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu; Jie-Hong R. Jiang; JIE-HONG JIANG |
