Shaowei Cai

Un nuevo solucionador mejora la eficiencia en la Optimización Pseudo-Booleana a través de técnicas innovadoras.

Un nuevo enfoque para resolver problemas complejos de IQP de manera más eficiente.

SMT-Layout ofrece un enfoque nuevo para el diseño responsivo de interfaces de usuario.