2 research outputs found

    2SAT Based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids

    No full text

    35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France

    Get PDF
    corecore