IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Chan, Tsz Ho, Xiao, Wenyi, Huang, Junhua, Zhen, Huiling, Tian, Guangji, Yuan, Mingxuan
Year of Publication 06.03.2024
Year of Publication 06.03.2024
Get full text
Journal Article
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Tsz Ho Chan, Xiao, Wenyi, Huang, Junhua, Zhen, Huiling, Tian, Guangji, Yuan, Mingxuan
Published in arXiv.org (06.03.2024)
Get full text
Published in arXiv.org (06.03.2024)
Paper
Large-diameter shield tunnel water-rich stratum high-pressure auxiliary tunneling construction method
CHU TAO, DENG NENGWEI, JIN PING, HE HANG, WANG JIANPENG, LI XUE, YAN JUN, HAN FUFEI, ZHANG QIANG, HOU LINZHI, TIAN GUANGJI
Year of Publication 01.08.2023
Get full text
Year of Publication 01.08.2023
Patent
Construction method for removing mud cake on cutter head by using sodium percarbonate
LI WENBO, JIN PING, HE HANG, WANG JIANPENG, YAN JUN, YAN LEILIANG, HAN FUFEI, CHU TAO, DENG NENGWEI, ZHAO LEIYU, LU GUANGDONG, HOU LINZHI, TIAN GUANGJI
Year of Publication 14.11.2023
Get full text
Year of Publication 14.11.2023
Patent
Bin filling method under-pressure bin opening method suitable for deeply-buried water-rich soft stratum
LI WENBO, ZHAO ZHIGANG, JIN PING, ZHAO SUFEI, HE HANG, WANG JIANPENG, YAN JUN, HAN FUFEI, ZHANG QIANG, CHU TAO, DENG NENGWEI, ZHAO LEIYU, LU GUANGDONG, ZHU ZHENSHENG, TIAN GUANGJI
Year of Publication 31.10.2023
Get full text
Year of Publication 31.10.2023
Patent
Novel shield or TBM main drive sealing protection device and construction method thereof
CHU TAO, LI WENBO, ZHAO ZHIGANG, DENG NENGWEI, HE HANG, YAN JUN, QU GANG, HAN FUFEI, TIAN GUANGJI
Year of Publication 23.09.2022
Get full text
Year of Publication 23.09.2022
Patent
Aircraft tail rod straightening device
LI CHUNMING, SHEN DENGFENG, CHU XIAOHUI, WANG XI, TIAN GUANGJI, DONG ZIQING
Year of Publication 30.06.2020
Get full text
Year of Publication 30.06.2020
Patent
Process for treating and reusing wastewater in capital construction period of large-scale project
LI ANXUE, WANG JIQIU, CHEN YUNJIE, WANG LIFU, CHEN KAIHUA, LIU YONGJIAN, XIANG WEI, CAO ZENGLI, JIANG CHENGXU, TIAN GUANGJI
Year of Publication 11.07.2012
Get full text
Year of Publication 11.07.2012
Patent
Raw gas purification tube for gas chromatographic analysis
YANG RUIHUA, SUN BOTAO, ZHANG LEI, WANG LIFU, LI YONGCHANG, KONG FANGUI, LIU YONGJIAN, YU GUANGYUAN, XU SHENGLI, JIANG CHENGXU, TIAN GUANGJI, CHEN JIJUN
Year of Publication 02.01.2013
Get full text
Year of Publication 02.01.2013
Patent