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

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

1 2 next

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

1 2 next