9 papers:
SAT-2014-BalintBFS #heuristic #implementation #satisfiability- Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (AB, AB, AF, US), pp. 302–316.
- SAT-2011-GableskeH #named #random #satisfiability #using
- EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.
- SAT-2010-TompkinsH #satisfiability
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
- SAT-2009-BalintHG #approach #novel #problem #satisfiability
- A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem (AB, MH, OG), pp. 284–297.
- 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.
- SAT-2002-Hoos #algorithm #modelling #satisfiability
- SLS algorithms for SAT: irregular instances, search stagnation, and mixture models (HH), p. 41.
ICLP-1991-Lever #proving- Proving Program Properties by Means of SLS-Resolution (JML), pp. 614–628.
DAC-1986-BarzilaiBHIS #analysis #fault #named #performance #verification- SLS — a fast switch level simulator for verification and fault coverage analysis (ZB, DKB, LMH, VSI, GMS), pp. 164–170.
