Mohamed Iguernelala

Available identifiers

zbMath Open iguernelala.mohamedMaRDI QIDQ2908478

List of research outcomes

Publication	Date of Publication	Type
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation	2012-09-25	Paper
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic	2012-09-05	Paper
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories	2011-05-19	Paper

Research outcomes over time

This page was built for person: Mohamed Iguernelala