This article is an attempt to improve the efficiency of procedures for compositional synthesis of design solutions using building blocks. These procedures have found use in a wide range of applications, and are one of the most substantial outcomes of research into automated synthesis of design solutions. Due to their combinatorial nature, these procedures are highly inefficient in solving probl...

By taking inspiration from [1], a synthesis strategy is proposed for the case of planar arrays and ring shaped patterns which does not require the exploitation of global optimization procedures. In particular, the approach is able to determine a priori (that is, without solving the overall design problem) whether the given power pattern design constraints can be fulfilled or not, and, in the ad...

the development of the eco friendly procedures makes nanoparticles as the rapidly growing field of nanotechnology. amongst, the silver nanoparticles have become prominent in the field of medicine to their peculiar antimicrobial properties. in the present study we suggest an eco friendly procedure of extracellular synthesis of silver nanoparticles with an average sizes of 5-50nm using an actinom...

Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main search strategies: concrete search, which systematically or stochastically enumerates all possible solutions, and symbolic search, which interacts with a constraint solver to solve the synthesis problem. In this paper, we...

This paper describes a class of decision procedures that we have found useful for efficient, domainspecific deductive synthesis. These procedures are called closure-based ground literal satisfiability procedures. We argue that this is a large and interesting class of procedures and show how to interface these procedures to a theorem prover for efficient deductive synthesis. Finally, we describe...

The stereoselective formation of tetrasubstituted alkenes remains one the key goals modern organic synthesis. In addition to other methods, synthesis can be achieved by means cross-coupling reactions electrophilic and nucleophilic alkene templates. use templates for has previously been described. Therefore, present review summarizes procedures available preparation using stable isolable