2 citations · 2 across the 3 of their papers we have counts for
1 paper · 2 filters
Da Shen, Yuliya Lierler
Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiabili…