Shaowei Cai

A new solver improves efficiency in Pseudo-Boolean Optimization through innovative techniques.

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

A new approach to solve complex IQP problems more efficiently.

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

SMT-Layout offers a fresh approach to responsive design for user interfaces.

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