共 16 条
[1]
Albers A., 2015, New Developments in Mechanics and Mechanical Engineering, P16
[2]
Andres B, 2013, LECT NOTES COMPUT SC, V8148, P79, DOI 10.1007/978-3-642-40564-8_9
[3]
Duffy S.M., 1995, International Conference on Engineering Design (ICED 1995), P490
[4]
Fahimipirehgalin M, 2019, IEEE INTL CONF IND I, P508, DOI [10.1109/indin41052.2019.8972335, 10.1109/INDIN41052.2019.8972335]
[5]
Gebser M., 2016, ICLP16, DOI [10.4230/OASIcs.ICLP.2016.2, DOI 10.4230/OASICS.ICLP.2016.2]
[6]
GIRCZYC E, 1993, ACM IEEE D, P48
[8]
Jia Hui Liang, 2015, Hardware and Software: Verification and Testing. 11th International Haifa Verification Conference, HVC 2015. Proceedings: LNCS 9434, P225, DOI 10.1007/978-3-319-26287-1_14
[9]
Lifschitz Vladimir., 2008, AAAI, P1594