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.