Shaowei Cai

Un nouveau solveur améliore l'efficacité en optimisation pseudo-booléenne grâce à des techniques innovantes.

2025-07-04T10:29:24+00:00 ― 6 min lire

Une nouvelle approche pour résoudre les problèmes IQP complexes plus efficacement.

2025-06-03T10:34:24+00:00 ― 7 min lire

SMT-Layout propose une nouvelle approche du design responsive pour les interfaces utilisateur.

2025-05-17T14:28:00+00:00 ― 7 min lire