Skip to content
cs-conference-ranking.org

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description).

Da Shen, Yuliya Lierler

VenueBICLP
Year2018
ProceedingsICLP (Technical Communications)
DBLP recordconf/iclp/ShenL18 ↗

Browse the full ICLP paper archive.