( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems.

, , , , и . Softw. Syst. Model., 18 (1): 739-767 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jia Jia

Liang Liang

Liang-Liang Fu

Jia Xu

Lina Jia

 

Другие публикации лиц с тем же именем

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers., , , , , , и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 251-260. Springer, (2017)Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems., , , , и . Softw. Syst. Model., 18 (1): 739-767 (2019)SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers., , , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 62-70. Springer, (2015)Machine Learning-Based Restart Policy for CDCL SAT Solvers., , , , , и . SAT, том 10929 из Lecture Notes in Computer Science, стр. 94-110. Springer, (2018)Machine Learning for SAT Solvers.. University of Waterloo, Ontario, Canada, (2018)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/14207).