Otpuschennikov, Ilya V.; Semenov, Alexander A. Using merging variables-based local search to solve special variants of MaxSAT problem. (English) Zbl 07315694 Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 363-378 (2020). MSC: 90 68 91 PDF BibTeX XML Cite \textit{I. V. Otpuschennikov} and \textit{A. A. Semenov}, Commun. Comput. Inf. Sci. 1275, 363--378 (2020; Zbl 07315694) Full Text: DOI
Semenov, Alexander; Otpuschennikov, Ilya; Gribanova, Irina; Zaikin, Oleg; Kochemazov, Stepan Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems. (English) Zbl 07199588 Log. Methods Comput. Sci. 16, No. 1, Paper No. 29, 42 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Semenov} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 29, 42 p. (2020; Zbl 07199588) Full Text: Link arXiv
Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. (English) Zbl 07137183 Constraints 24, No. 2, 133-161 (2019). MSC: 68T PDF BibTeX XML Cite \textit{A. Zha} et al., Constraints 24, No. 2, 133--161 (2019; Zbl 07137183) Full Text: DOI
Meuli, Giulia; Schmitt, Bruno; Ehlers, Rüdiger; Riener, Heinz; De Micheli, Giovanni Evaluating ESOP optimization methods in quantum compilation flows. (English) Zbl 07118476 Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 191-206 (2019). MSC: 68Q05 68Q10 81P68 PDF BibTeX XML Cite \textit{G. Meuli} et al., Lect. Notes Comput. Sci. 11497, 191--206 (2019; Zbl 07118476) Full Text: DOI