From the 1 of 1 linked paper with an AI index.
1 paper
Yuliya Lierler, Keeran Dhakal
The paper introduces EZSMTV3, an extensible SMT-based framework for Constraint Answer Set Programming that adds a richer input language, optimization support, and integration with…