Bromberger, Martin; Dragoste, Irina; Faqeh, Rasha; Fetzer, Christof; Krötzsch, Markus; Weidenbach, Christoph A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic. (English) Zbl 07497913 Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 3-24 (2021). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Bromberger} et al., Lect. Notes Comput. Sci. 12941, 3--24 (2021; Zbl 07497913) Full Text: DOI arXiv
Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph A complete and terminating approach to linear integer solving. (English) Zbl 1432.68597 J. Symb. Comput. 100, 102-136 (2020). MSC: 68W30 68Q60 68R07 68V15 90C10 PDFBibTeX XMLCite \textit{M. Bromberger} et al., J. Symb. Comput. 100, 102--136 (2020; Zbl 1432.68597) Full Text: DOI HAL
Bromberger, Martin; Fleury, Mathias; Schwarz, Simon; Weidenbach, Christoph SPASS-SATT. A CDCL(LA) solver. (English) Zbl 07178972 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 111-122 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{M. Bromberger} et al., Lect. Notes Comput. Sci. 11716, 111--122 (2019; Zbl 07178972) Full Text: DOI
Bromberger, Martin; Weidenbach, Christoph New techniques for linear arithmetic: cubes and equalities. (English) Zbl 1377.68128 Form. Methods Syst. Des. 51, No. 3, 433-461 (2017). MSC: 68Q60 03B70 68T20 PDFBibTeX XMLCite \textit{M. Bromberger} and \textit{C. Weidenbach}, Form. Methods Syst. Des. 51, No. 3, 433--461 (2017; Zbl 1377.68128) Full Text: DOI HAL
Bromberger, Martin; Weidenbach, Christoph Fast cube tests for LIA constraint solving. (English) Zbl 1475.68337 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 116-132 (2016). MSC: 68T20 90C10 PDFBibTeX XMLCite \textit{M. Bromberger} and \textit{C. Weidenbach}, Lect. Notes Comput. Sci. 9706, 116--132 (2016; Zbl 1475.68337) Full Text: DOI HAL