Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationElectronic Notes in Theoretical Computer Science
    Volume267
    Pages15-28
    DOIs
    Publication statusE-pub ahead of print - 2010
    EventProceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS) -
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceProceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS)
    Period01/01/2010 → …

    Cite this