research
∙
09/20/2019
Corrigendum to: "Linear time algorithm to cover and hit a set of line segments optimally by two axis-parallel squares", Theoretical Computer Science 769 (2019) 63--74
In the paper "Linear time algorithm to cover and hit a set of line segme...
share
research
∙
09/21/2017
Satisfiability Modulo Theory based Methodology for Floorplanning in VLSI Circuits
This paper proposes a Satisfiability Modulo Theory based formulation for...
research
∙
09/14/2017
