Shaowei Cai

Ein neuer Löser verbessert die Effizienz in der Pseudo-Boolean-Optimierung durch innovative Techniken.

2025-07-04T10:29:24+00:00 ― 5 min Lesedauer

Ein neuer Ansatz, um komplexe IQP-Probleme effizienter zu lösen.

2025-06-03T10:34:24+00:00 ― 6 min Lesedauer

SMT-Layout bietet einen frischen Ansatz für responsives Design von Benutzeroberflächen.

2025-05-17T14:28:00+00:00 ― 6 min Lesedauer