Logical Reasoning Techniques For Physical Layout In Deep Nanometer Technologies