缩写	全称	中文释义
SSPV	Satisfiability Solvers and Program Verification	可满足性求解器与程序验证
SSPV	Symposium on Satisfiability Solvers and Program Verification	可满足性求解与程序验证研讨会
SSPV	Society of St. Pius V	圣皮尤斯五世学会