Towards Conflict-Driven Learning for Virtual Substitution

Konstantin Korovin, Marek Kosta, Thomas Sturm

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationComputer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
    Pages256-270
    Number of pages15
    DOIs
    Publication statusPublished - 2014

    Cite this