Clause Elimination Procedures for CNF Formula

MJH Heule, M Jarvisalo, A Biere

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
    EditorsC Fermüller, A Voronkov
    Place of PublicationBerlin
    PublisherSpringer
    Pages357-371
    Number of pages15
    ISBN (Print)0302-9743
    Publication statusPublished - 2010
    Event17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Berlin
    Duration: 10 Oct 201015 Oct 2010

    Publication series

    Name
    PublisherSpringer
    NameLecture Notes in Computer Science
    Volume6397
    ISSN (Print)0302-9743

    Conference

    Conference17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Period10/10/1015/10/10

    Keywords

    • CWTS JFIS < 0.75

    Cite this