Stem leaner$ (all stems)
2 papers:
- ICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards
- Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
- SAT-2002-Gelder #reasoning #satisfiability #towards
- Toward leaner binary-clause reasoning in a satisfiability solver (AVG), p. 16.