EFFICIENT DISTRIBUTED SAT AND SAT-BASED DISTRIBUTED BOUNDED MODEL CHECKING

• 1. 一种基于AIG和SAT求解器的GSTE模型检测方法 [P] . 中国专利： CN103838908B . 2017.08.25
• 2. 基于SAT的命题投影时序逻辑限界模型检测方法 [P] . 中国专利： CN102663191B . 2014.07.23
• 3. Efficient distributed SAT and SAT-based distributed bounded model checking [P] . 美国专利： US7203917B2 . 2007-04-10

  机译： 高效的分布式SAT和基于SAT的分布式有界模型检查

• 4. EFFICIENT DISTRIBUTED SAT AND SAT-BASED DISTRIBUTED BOUNDED MODEL CHECKING [P] . 世界知识产权组织专利： WO2004092870A2 . 2004-10-28

  机译： 高效分布式SAT和基于SAT的分布式有界模型检验

• 5. Efficient distributed SAT and SAT-based distributed bounded model checking [P] . 美国专利： US2004210860A1 . 2004-10-21

  机译： 高效的分布式SAT和基于SAT的分布式有界模型检查

• 1. Effects of Spatial Information of Soil Physical Properties on Hydrological Modeling Based on a Distributed Hydrological Model [J] . LI Xianghu, ZHANG Qi, YE Xuchun 中国地理科学（英文版） . 2013,第002期
• 2. Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking [C] . Malay K Ganai, Aarti Gupta, Zijiang Yang, Correct Hardware Design and Verification Methods . 2003
• 3. A model for efficient real-time distributed computing middleware incorporating a fine-grained program-segment-level deadline-based scheduling policy and an efficient checkpoint-based replication scheme. [D] . Li, Yuqing. 2005
• 4. dLagM: An R package for distributed lag models and ARDL bounds testing [O] . Haydar Demirhan 2020
• 5. Efficient distributed SAT and SAT-based distributed bounded model checking [O] . Malay K Ganai, Aarti Gupta, Zijiang Yang, 2008

• 1. The Distributed Network Monitoring Model with Bounded Delay Constraints [J] . LIUXiang-hui ,YINJian-ping ,LUXi-cheng . 武汉大学自然科学学报：英文版 . 2004,第4期
• 2. Kinetic analysis and modeling of maize straw hydrochar combustion using a multi-Gaussian-distributed activation energy model [J] . Chunmei Yu ,Shan Ren ,Guangwei Wang . 矿物冶金与材料学报:英文版 . 2022,第3期
• 3. UV Index Modeling by Autoregressive Distributed Lag (ADL Model) [J] . Alexandre Boleira Lopo ,Maria Helena Constantino Spyrides ,Paulo Sérgio Lucio . 大气和气候科学（英文） . 2014,第2期
• 4. Model-based Predictive Control for Spatially-distributed Systems Using Dimensional Reduction Models [J] . Meng-Ling Wang ,Ning Li ,Shao-Yuan Li . 国际自动化与计算杂志 . 2011,第001期
• 5. 基于有界模型检验的Web服务组合 [C] . 方志 ,廖乐健 ,陈若愚 . 第一届全国服务计算学术会议 . 2010
• 6. 基于SAT的有界模型检测及其应用研究 [A] . 杨晋吉 . 2008