All Stories

  1. DiffSAT: Differential MaxSAT Layer for SAT Solving

    Article • October 2024, ACM (Association for Computing Machinery)

    Yu Zhang

  2. Multi-Electrostatics Based Placement for Non-Integer Multiple-Height Cells

    Article • March 2024, ACM (Association for Computing Machinery)

    Yu Zhang