Zum Inhalt springen

  1. Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.

    Logic for Programming, Artificial Intelligence, and Reasoning: Conflict Anticipation in the Search for Graph Automorphisms

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning

  2. Kim, Myung-Chul; Lee, Dong-Jin; Markov, Igor L.

    SimPL: An Effective Placement Algorithm

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2012

    Erschienen in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  3. Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.

    Theory and Applications of Satisfiability Testing – SAT 2010: Symmetry and Satisfiability: An Update

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2010

    Erschienen in: Theory and Applications of Satisfiability Testing – SAT 2010