TY  - RPRT
TI  - Satisfiability Modulo Theory based Methodology for Floorplanning in VLSI Circuits
AU  - Suchandra Banerjee
AU  - Anand Ratna
AU  - Suchismita Roy
PY  - 2017
UR  - https://arxiv.org/abs/1709.07241
ID  - 1709.07241
ER  -