by ABELLO, J, BUCHSBAUM, A. L, WESTBROOK, J. R
Published in Algorithmica (01.03.2002)

by Gao, Tianpeng, Li, Jianzhong, Ma, Hengzhao
Published in IEEE transactions on knowledge and data engineering (01.12.2023)

by Wan, Xiaolong, Han, Xixian
Year of Publication 17.07.2025

Published in IFIP International Federation for Information Processing

by Hesselroth, T., Sarkar, K., van der Smagt, P.P., Schulten, K.
Published in IEEE transactions on systems, man, and cybernetics (01.01.1994)

by HUANG YUHONG, LI YAWEI, LIU GUOSHUAI, WENG ZIJUN, QI WEIHUA, WANG YAN
Year of Publication 29.04.2025

by Edelkamp, Stefan, Sanders, Peter, Šimeček, Pavel
Published in Computer Aided Verification (2008)

by Wei, Pengcheng, He, Fangcheng, Shang, Chuanfu, Li, Jing
Published in Neural computing & applications (01.01.2020)