Back to Results
First PageMeta Content
Mathematics / Algebra / Theoretical computer science / Logic in computer science / Satisfiability modulo theories / Alt-Ergo / Modular arithmetic / Ring / Rewriting / Linear programming / First-order logic / Interval arithmetic


A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´
Add to Reading List

Document Date: 2017-07-21 11:03:15


Open Document

File Size: 373,06 KB

Share Result on Facebook
UPDATE