Automatic tub region generation for symbolic layout compaction
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Schematization of road networks
SCG '01 Proceedings of the seventeenth annual symposium on Computational geometry
Computational Geometry: Theory and Applications
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Computational Geometry: Theory and Applications
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Manhattan-Geodesic embedding of planar graphs
GD'09 Proceedings of the 17th international conference on Graph Drawing
Drawing graphs with vertices at specified positions and crossings at large angles
WALCOM'12 Proceedings of the 6th international conference on Algorithms and computation
Two-Sided boundary labeling with adjacent sides
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
Hi-index | 0.00 |