Keyword:Linear Integer Arithmetic

Papers
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SAT-Based Techniques for Integer Linear Constraints Robert Nieuwenhuis In:GCAI 2015. Global Conference on Artificial Intelligence