@第{zbMATH07100373条，作者＝{Chen，Hubie和Valeriote，Matt和Yoshida，Yuichi}，标题={约束满足问题赋值的常量查询可测试性}，FJournal={SIAM计算机杂志}，期刊={SIAM J.Compute.}，ISSN＝{0097-5397}，体积={48}，数字={3}，页码={1022--1045}，年份={2019}，语言={英语}，DOI={10.1137/18M121085X}，关键词={68W20,08A02,08A70,68R07}，zbMATH={7100373}，Zbl={1430.68439}}