5 papers:
DAC-2012-VenkataramaniSKRR #approximate #logic #named #synthesis- SALSA: systematic logic synthesis of approximate circuits (SV, AS, VJK, KR, AR), pp. 796–801.
CIKM-2008-NajorkC #analysis #effectiveness #performance- Efficient and effective link analysis with precomputed salsa maps (MN, NC), pp. 53–62.
- CIKM-2007-Najork #effectiveness
- Comparing the effectiveness of hits and salsa (MN), pp. 157–164.
- CIKM-2006-BartoliniCP #named
- SaLSa: computing the skyline without scanning the whole sky (IB, PC, MP), pp. 405–414.
TACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving- Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
