Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

Sathiamoorthy Subbarayan

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    BogserieLecture Notes in Computer Science
    ISSN0302-9743
    StatusUdgivet - 2008
    BegivenhedPADL 2008 Symposium - San Francisco, USA
    Varighed: 7 jan. 20088 jan. 2008

    Konference

    KonferencePADL 2008 Symposium
    Land/OmrådeUSA
    BySan Francisco
    Periode07/01/200808/01/2008

    Citationsformater