An effective parallel algorithm based on GPU for 3-SAT

von Wu, Guanfeng
Veröffentlicht in International FLINS Conference (14. : Köln : 2020) Developments of artificial intelligence technologies in computation and robotics (2020)

Consistency verification of safety-critical decision on routing operation of the train

von Wang, Keming
Veröffentlicht in International FLINS Conference (14. : Köln : 2020) Developments of artificial intelligence technologies in computation and robotics (2020)