Sheng-Hsiu Wei

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Relational Databases

Top Venues

Publications

Chia-Chun Lin, Hsin-Ping Yen, Sheng-Hsiu Wei, Pei-Pei Chen, Yung-Chih Chen, Chun-Yao Wang
A General Equivalence Checking Framework for Multivalued Logic. ASP-DAC (2021)