×

Found 5 Documents (Results 1–5)

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
Full Text: DOI arXiv

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
Full Text: DOI HAL

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software