HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sophie Tourret

Publications
The Spawns of the Saturation Framework
Sophie Tourret
In:Proceedings of the 7th and 8th Vampire Workshop

Keyphrases

automated reasoning, first-order theorem proving, Isabelle, saturation, superposition.

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