Skip to contents

  1. Dalkilic, Mehmet M. [Other]; Kim, Sun [Other]; Yang, Jiong [Other]

    Data Mining and Bioinformatics : First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 4316

  2. Yang, Jiong [Author]; Shaw, Arijit [Author]; Baluta, Teodora [Author]; Soos, Mate [Author]; Meel, Kuldeep S. [Author] ; Jiong Yang and Arijit Shaw and Teodora Baluta and Mate Soos and Kuldeep S. Meel [Contributor]

    Explaining SAT Solving Using Causal Reasoning

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023