Shaowei Cai

Um novo solucionador melhora a eficiência na Otimização Pseudo-Boolean com técnicas inovadoras.

Uma nova abordagem pra resolver problemas complexos de IQP de forma mais eficiente.

O SMT-Layout traz uma abordagem nova pra design responsivo de interfaces de usuário.