3 citations · 8 across the 10 of their papers we have counts for
1 paper · 1 filter
Xuran Cai, Amir Goharshady
In this work, we focus on the Partial Constraint Satisfaction Problem (PCSP) over control-flow graphs (CFGs) of programs. PCSP serves as a generalization of the well-known Constrai…