Stem nogood$ (all stems)

2 papers:

ICLP-2012-DrescherW #generative #lazy evaluation #set

Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.

PADL-2008-Subbarayan #constraints #performance #reasoning #theorem proving

Efficient Reasoning for Nogoods in Constraint Solvers with BDDs (SS), pp. 53–67.