27 citations · 27 across the 6 of their papers we have counts for
1 paper · 2 filters
Ruanqianqian Huang, Ayana Monroe, Peli de Halleux +2
Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically…