瓦伦蒂娜·卡斯蒂格利奥尼 拉格罗·拉诺特 西蒙·蒂尼 一种检验算术逻辑可满足性的函数消去方法。 46-57 2014 CS&P公司 https://ceur-ws.org/Vol-1269/paper46.pdf conf/csp/2014 db/conf/csp/csp2014.html#CastiglioniLT14