( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combinations of Boolean Gröbner Bases and SAT Solvers.

. University of Kaiserslautern, (2014)

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.

Thanh-Hung Nguyen

Nguyen Thanh-Hung

Thanh-Hung Nguyen

Thanh-Hung Nguyen

Thanh Hung Nguyen

 

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

New Environment CREPE for Transportation Control and its Effectiveness., , , и . IMECS, стр. 790-795. Newswood Limited, (2006)Designing Software to Analyze Sewing Process of Industrial Knitted Products., , , , и . Comput. Syst. Sci. Eng., 44 (2): 1837-1852 (2023)Q-learning-based, Optimized On-demand Charging Algorithm in WRSN., , , и . NCA, стр. 1-8. IEEE, (2020)A New Coarse-To-Fine 3D Face Reconstruction Method Based On 3DMM Flame and Transformer: CoFiT-3D FaRe., , и . SoICT, стр. 393-400. ACM, (2023)Network Lifetime Maximization for Full Area Coverage in Wireless Sensor Networks., , и . APCC, стр. 431-436. IEEE, (2019)Improve the Performance of Mobile Applications Based on Code Optimization Techniques Using PMD and Android Lint., , и . IUKM, том 9978 из Lecture Notes in Computer Science, стр. 343-356. (2016)Efficient Prediction of Discharge and Water Levels Using Ensemble Learning and Singular-Spectrum Analysis-Based Denoising., , , , , , и . IEA/AIE (2), том 12799 из Lecture Notes in Computer Science, стр. 34-46. Springer, (2021)Self-supervised air quality estimation with graph neural network assistance and attention enhancement., , , , , и . Neural Comput. Appl., 36 (19): 11171-11193 (июля 2024)A Method for Improvement the Parameter Estimation of Non-linear Regression in Growth Model to Predict Project Cost at Completion., , , , и . RIVF, стр. 1-6. IEEE, (2020)Automated Test Input Generation via Model Inference Based on User Story and Acceptance Criteria for Mobile Application Development., , , и . Int. J. Softw. Eng. Knowl. Eng., 30 (3): 399-425 (2020)