Logical Reasoning Techniques for Physical Layout in Deep Nanometer Technologies