A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo.

Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout

Browse the full SYNASC paper archive.