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

Showing results 1 to 20 of 28.
Sorted by year (citations)

1 2 next

  1. KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin: SATenstein: automatically building local search SAT solvers from components (2016)
  2. Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten: Overview and analysis of the SAT challenge 2012 solver competition (2015)
  3. Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter: On the van der Waerden numbers $\mathrmw(2; 3, t)$ (2014)
  4. Ahmed, Tanbir: Some more van der Waerden numbers (2013)
  5. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  6. Järvisalo, Matti; Biere, Armin; Heule, Marijn J.H.: Simulating circuit-level simplifications on CNF (2012)
  7. Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia: Stochastic local search for SMT: combining theory solvers with WalkSAT (2011)
  8. Ibaraki, Toshihide; Imamichi, Takashi; Koga, Yuichi; Nagamochi, Hiroshi; Nonobe, Koji; Yagiura, Mutsunori: Efficient branch-and-bound algorithms for weighted MAX-2-SAT (2011)
  9. Tompkins, Dave A.D.; Balint, Adrian; Hoos, Holger H.: Captain Jack: new variable selection heuristics in local search for SAT (2011)
  10. Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P.: Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches (2010)
  11. Kilani, Yousef: Improving GASAT by replacing tabu search by DLM and enhancing the best members (2010)
  12. Kullmann, Oliver: Green-Tao numbers and SAT (2010)
  13. Tompkins, Dave A.D.; Hoos, Holger H.: Dynamic scoring functions with variable expressions: new SLS methods for solving SAT (2010)
  14. Belov, Anton; Stachniak, Zbigniew: Improving variable selection process in stochastic local search for propositional satisfiability (2009)
  15. Bonet, María Luisa; John, Katherine St.: Efficiently calculating evolutionary tree measures using SAT (2009)
  16. Chieu, H.L.; Lee, W.S.: Relaxed survey propagation for the weighted maximum satisfiability problem (2009)
  17. Hutter, F.; Hoos, H.H.; Leyton-Brown, K.; Stuetzle, T.: Paramils: an automatic algorithm configuration framework (2009)
  18. Heras, F.; Larrosa, J.; Oliveras, A.: Minimaxsat: an efficient weighted Max-SAT solver (2008)
  19. Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka: Justification-based local search with adaptive noise strategies (2008)
  20. Mouhoub, Malek: Systematic versus local search and GA techniques for incremental SAT (2008)

1 2 next