Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. (English) Zbl 1520.68105 Artif. Intell. 299, Article ID 103559, 32 p. (2021). MSC: 68R07 06E30 68T20 PDFBibTeX XMLCite \textit{A. Kyrillidis} et al., Artif. Intell. 299, Article ID 103559, 32 p. (2021; Zbl 1520.68105) Full Text: DOI
Berend, Daniel; Twitto, Yochai Probabilistic characterization of random Max \(r\)-Sat. (English) Zbl 1506.68120 Discrete Optim. 40, Article ID 100630, 16 p. (2021). MSC: 68T20 68Q25 90C27 PDFBibTeX XMLCite \textit{D. Berend} and \textit{Y. Twitto}, Discrete Optim. 40, Article ID 100630, 16 p. (2021; Zbl 1506.68120) Full Text: DOI
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. (English) Zbl 1496.68298 Inf. Comput. 275, Article ID 104609, 35 p. (2020). MSC: 68T20 81P68 PDFBibTeX XMLCite \textit{Z. Bian} et al., Inf. Comput. 275, Article ID 104609, 35 p. (2020; Zbl 1496.68298) Full Text: DOI arXiv
Xu, Zhenxing; He, Kun; Li, Chu-Min An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem. (English) Zbl 1458.68205 Comput. Oper. Res. 104, 49-58 (2019). MSC: 68T20 68R07 90C27 90C59 PDFBibTeX XMLCite \textit{Z. Xu} et al., Comput. Oper. Res. 104, 49--58 (2019; Zbl 1458.68205) Full Text: DOI arXiv
Chen, Wenxiang; Whitley, Darrell Decomposing SAT instances with pseudo backbones. (English) Zbl 1453.68170 Hu, Bin (ed.) et al., Evolutionary computation in combinatorial optimization. 17th European conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19–21, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10197, 75-90 (2017). MSC: 68T20 68R07 90C59 PDFBibTeX XMLCite \textit{W. Chen} and \textit{D. Whitley}, Lect. Notes Comput. Sci. 10197, 75--90 (2017; Zbl 1453.68170) Full Text: DOI
Berend, Daniel; Twitto, Yochai The normalized autocorrelation length of random Max \(r\)-Sat converges in probability to \((1-1/2^r)/r\). (English) Zbl 1478.68200 Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 60-76 (2016). MSC: 68R07 60F05 68T20 PDFBibTeX XMLCite \textit{D. Berend} and \textit{Y. Twitto}, Lect. Notes Comput. Sci. 9710, 60--76 (2016; Zbl 1478.68200) Full Text: DOI
Järvisalo, Matti; Biere, Armin; Heule, Marijn J. H. Simulating circuit-level simplifications on CNF. (English) Zbl 1267.94144 J. Autom. Reasoning 49, No. 4, 583-619 (2012). MSC: 94C10 68T15 68T20 PDFBibTeX XMLCite \textit{M. Järvisalo} et al., J. Autom. Reasoning 49, No. 4, 583--619 (2012; Zbl 1267.94144) Full Text: DOI
Mouhoub, Malek Systematic versus local search and GA techniques for incremental SAT. (English) Zbl 1178.68543 Int. J. Comput. Intell. Appl. 7, No. 1, 77-96 (2008). MSC: 68T20 68Q17 68Q25 68W25 PDFBibTeX XMLCite \textit{M. Mouhoub}, Int. J. Comput. Intell. Appl. 7, No. 1, 77--96 (2008; Zbl 1178.68543) Full Text: DOI