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 07285766 Inf. Comput. 275, Article ID 104609, 35 p. (2020). MSC: 68Q PDF BibTeX XML Cite \textit{Z. Bian} et al., Inf. Comput. 275, Article ID 104609, 35 p. (2020; Zbl 07285766) Full Text: DOI
Gao, Wei; Lv, Hengyi; Zhang, Qiang; Cai, Dunbo Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method. (English) Zbl 07052200 Algorithms (Basel) 11, No. 9, Paper No. 142, 15 p. (2018). MSC: 68 03 PDF BibTeX XML Cite \textit{W. Gao} et al., Algorithms (Basel) 11, No. 9, Paper No. 142, 15 p. (2018; Zbl 07052200) Full Text: DOI
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten clingcon: the next generation. (English) Zbl 1379.68040 Theory Pract. Log. Program. 17, No. 4, 408-461 (2017). MSC: 68N17 68T20 PDF BibTeX XML Cite \textit{M. Banbara} et al., Theory Pract. Log. Program. 17, No. 4, 408--461 (2017; Zbl 1379.68040) Full Text: DOI
Lombardi, Michele; Milano, Michela; Bartolini, Andrea Empirical decision model learning. (English) Zbl 1404.68113 Artif. Intell. 244, 343-367 (2017). MSC: 68T05 68T20 90C27 PDF BibTeX XML Cite \textit{M. Lombardi} et al., Artif. Intell. 244, 343--367 (2017; Zbl 1404.68113) Full Text: DOI
Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin Complexity of fixed-size bit-vector logics. (English) Zbl 1357.68086 Theory Comput. Syst. 59, No. 2, 323-376 (2016). MSC: 68Q25 68Q17 PDF BibTeX XML Cite \textit{G. Kovásznai} et al., Theory Comput. Syst. 59, No. 2, 323--376 (2016; Zbl 1357.68086) Full Text: DOI
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd Minimal counterexamples for linear-time probabilistic verification. (English) Zbl 1360.68604 Theor. Comput. Sci. 549, 61-100 (2014). MSC: 68Q60 60J20 68Q87 90C11 90C40 PDF BibTeX XML Cite \textit{R. Wimmer} et al., Theor. Comput. Sci. 549, 61--100 (2014; Zbl 1360.68604) Full Text: DOI
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert SAT modulo linear arithmetic for solving polynomial constraints. (English) Zbl 1243.68210 J. Autom. Reasoning 48, No. 1, 107-131 (2012). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{C. Borralleras} et al., J. Autom. Reasoning 48, No. 1, 107--131 (2012; Zbl 1243.68210) Full Text: DOI
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009). MSC: 68Q60 68N30 68T15 PDF BibTeX XML Cite \textit{C. Borralleras} et al., Lect. Notes Comput. Sci. 5663, 294--305 (2009; Zbl 1250.68184) Full Text: DOI
Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\). (English) Zbl 1326.68164 J. ACM 53, No. 6, 937-977 (2006). MSC: 68Q25 68T15 68T20 PDF BibTeX XML Cite \textit{R. Nieuwenhuis} et al., J. ACM 53, No. 6, 937--977 (2006; Zbl 1326.68164) Full Text: DOI
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. (English) Zbl 1144.68371 J. Satisf. Boolean Model. Comput. 1, No. 3-4, 209-236 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Fränzle} et al., J. Satisf. Boolean Model. Comput. 1, No. 3--4, 209--236 (2006; Zbl 1144.68371)
Lahiri, Shuvendu K.; Mehra, Krishna K. Interpolant based decision procedure for quantifier-free Presburger arithmetic. (English) Zbl 1147.68713 J. Satisf. Boolean Model. Comput. 1, No. 3-4, 187-207 (2006). MSC: 68T20 68T15 PDF BibTeX XML Cite \textit{S. K. Lahiri} and \textit{K. K. Mehra}, J. Satisf. Boolean Model. Comput. 1, No. 3--4, 187--207 (2006; Zbl 1147.68713)