HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Robin David

Publications
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

read-over-write simplification, Satisfiability Modulo Theory, Theory of Arrays.

Copyright © 2012-2025 easychair.org. All rights reserved.