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

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

1 2 next

  1. Xu, Zhenxing; He, Kun; Li, Chu-Min: An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (2019)
  2. Berend, Daniel; Twitto, Yochai: The normalized autocorrelation length of random MAX (r)-SAT converges in probability to ((1-1/2^r)/r) (2016)
  3. Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile: New local search methods for partial MaxSAT (2016)
  4. KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin: SATenstein: automatically building local search SAT solvers from components (2016)
  5. Liu, Yan-Li; Li, Chu-Min; He, Kun; Fan, Yi: Breaking cycle structure to improve lower bound for Max-SAT (2016)
  6. Weise, Thomas; Wu, Yuezhong; Chiong, Raymond; Tang, Ke; Lässig, Jörg: Global versus local search: the impact of population sizes on evolutionary algorithm performance (2016)
  7. Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten: Overview and analysis of the SAT challenge 2012 solver competition (2015) ioport
  8. Ahmed, Tanbir; Kullmann, Oliver; Snevily, Hunter: On the van der Waerden numbers (\mathrmw(2; 3, t)) (2014)
  9. Ahmed, Tanbir: Some more van der Waerden numbers (2013)
  10. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  11. Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H.: Simulating circuit-level simplifications on CNF (2012)
  12. Mousavi, Sayyed R.: Improved haplotype assembly using Xor genotypes (2012)
  13. Griggio, Alberto; Phan, Quoc-Sang; Sebastiani, Roberto; Tomasi, Silvia: Stochastic local search for SMT: combining theory solvers with WalkSAT (2011)
  14. Ibaraki, Toshihide; Imamichi, Takashi; Koga, Yuichi; Nagamochi, Hiroshi; Nonobe, Koji; Yagiura, Mutsunori: Efficient branch-and-bound algorithms for weighted MAX-2-SAT (2011)
  15. Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H.: Captain Jack: new variable selection heuristics in local search for SAT (2011)
  16. 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)
  17. Kilani, Yousef: Improving GASAT by replacing tabu search by DLM and enhancing the best members (2010) ioport
  18. Kullmann, Oliver: Green-Tao numbers and SAT (2010)
  19. Tompkins, Dave A. D.; Hoos, Holger H.: Dynamic scoring functions with variable expressions: new SLS methods for solving SAT (2010)
  20. Belov, Anton; Stachniak, Zbigniew: Improving variable selection process in stochastic local search for propositional satisfiability (2009) ioport

1 2 next