References in zbMATH (referenced in 36 articles , 1 standard article )

Showing results 21 to 36 of 36.
Sorted by year (citations)
  1. Tompkins, Dave A. D.; Hoos, Holger H.: Dynamic scoring functions with variable expressions: new SLS methods for solving SAT (2010)
  2. Belov, Anton; Stachniak, Zbigniew: Improving variable selection process in stochastic local search for propositional satisfiability (2009) ioport
  3. Bonet, María Luisa; John, Katherine St.: Efficiently calculating evolutionary tree measures using SAT (2009)
  4. Chieu, H. L.; Lee, W. S.: Relaxed survey propagation for the weighted maximum satisfiability problem (2009)
  5. Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.: Paramils: an automatic algorithm configuration framework (2009)
  6. Heras, F.; Larrosa, J.; Oliveras, A.: Minimaxsat: an efficient weighted Max-SAT solver (2008)
  7. Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka: Justification-based local search with adaptive noise strategies (2008)
  8. Mouhoub, Malek: Systematic versus local search and GA techniques for incremental SAT (2008)
  9. Stachniak, Zbigniew; Belov, Anton: Speeding-up non-clausal local search for propositional satisfiability with clause learning (2008)
  10. Li, Chu Min; Wei, Wanxia; Zhang, Harry: Combining adaptive noise and look-ahead in local search for SAT (2007)
  11. Prestwich, Steven: Variable dependency in local search: prevention is better than cure (2007)
  12. Le Berre, Daniel; Simon, Laurent: Fifty-five solvers in Vancouver: The SAT 2004 competition (2005)
  13. Prestwich, Steven: Random walk with continuously smoothed variable weights (2005)
  14. Prestwich, Steven; Roli, Andrea: Symmetry breaking and local search spaces (2005)
  15. Tompkins, Dave A. D.; Hoos, Holger H.: UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT (2005)
  16. Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav: Understanding random SAT: Beyond the clauses-to-variables ratio (2004)