From Resolution and DPLL to Solving Arithmetic Constraints

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

    Original languageEnglish
    Title of host publicationFrontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
    Pages261-262
    Number of pages2
    DOIs
    Publication statusPublished - 2013

    Cite this