Improving efficiency of procedures for compositional synthesis by using bidirectional search

Amaresh Chakrabarti. Improving efficiency of procedures for compositional synthesis by using bidirectional search. AI EDAM, 15(1):67-80, 2001.

Abstract

Abstract is missing.