Stem smodel$ (all stems)

2 papers:

ICLP-2005-GiunchigliaM #on the #satisfiability #set

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) (EG, MM), pp. 37–51.

ICLP-2004-ElkabaniPS #approach #effectiveness

Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP (IE, EP, TCS), pp. 73–89.