Learn More
Boolean satisfiability (SAT) is a core non polynomial (NP)-complete problem. Several heuristic software and hardware approaches have been proposed to solve this problem. The authors present a hardware solution to the SAT problem. They propose a custom integrated circuit (IC) to implement their approach, in which the traversal of the implication graph as(More)
Most existing buffer insertion algorithms, such as van Ginneken's algorithm, consider only individual nets. As a result, these algorithms tend to over buffer when applied to combinational circuits, since it is difficult to decide how many buffers to insert in each net. Recently, Sze, et al. [1] proposed a path-based algorithm for buffer insertion in(More)
Boolean Satisfiability (SAT) is a core NP-complete problem in logic synthesis. Several heuristic software and hardware approaches have been proposed to solve this problem. In this paper, we present a hardware solution to the SAT problem. We propose a custom IC to implement our approach, in which the traversal of the implication graph as well conflict clause(More)
The study was undertaken with the aim of exploring novel and beneficial agro activities of rare actinomycetes like Microbispora sp. V2. The antagonistic activity of Microbispora sp. V2 was evaluated as a biocontrol agents against Sclerotium rolfsii, a soil-borne fungal plant pathogen. The methodology performed for evaluation of biocontrol agent was in vitro(More)
  • 1