The 481 Ways to Split a Clause and Deal with Propositional Variables

Krystof Hoder, Andrei Voronkov

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

    Original languageEnglish
    Title of host publicationAutomated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
    Number of pages15
    Publication statusPublished - 2013

    Cite this