BibSLEIGH — ubcsat stem

Used together with:

Stem ubcsat$ (all stems)

SAT-J-2004-TompkinsH05 #algorithm #implementation #named #satisfiability: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT (DADT, HHH), pp. 306–320.
SAT-2004-TompkinsH #algorithm #implementation #named #satisfiability: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (DADT, HHH), pp. 37–46.