HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Andrei Paskevich

Publications
Reasoning with Triggers
Claire Dross, Sylvain Conchon, Johannes Kanig and Andrei Paskevich
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

Instantiation, quantifiers, SMT, theories, triggers.

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