Recent work has shown that SAT can be theoretically more powerful than heuristic search provided the heuristic used by search is implemented as a set of clauses on which unit propagation simulates the evaluation of the heuristic. The h heuristic has been shown to be implemented trivially by the empty set of clauses. This paper presents an implementation of h, a generalization of h.

The paper investigates the effects of technology scaling on area/delay characteristics of registertransfer level (RTL) designs. Based on experimental modeling of RTL components and interconnect, whose feature sizes have been scaled down from 1.5 m to 0.25 m, we evaluate the critical path delay and area of several data-paths and report on efficiency of layout and RTL optimization techniques at t...

one of the important problems in project management is lack of available resources in proper time at project site that leads to lack of project implementation in due date. this problem may be lead to time delay in sending resources from suppliers and related origins in supply chain to project site. therfore, to better resources managmenet and also the improvement of supply chain condition, the ...

in this paper a new guidance technique for ballistic missiles and launch vehicles is proposed. generally the lambert guidance is used to generate missile nominal (correlated) parameters through powered flight to put it in a ballistic flight path. because of uncertainties and undesired factors, the nominal position and velocity obtained by lambert technique need to be followed in actual flight. ...

Medical Virtual Patient Simulator (MedVPS) is a cutting-edge eLearning innovation for medical and other health professionals. It consists of a framework that supports various patient cases, tailored by interdisciplinary medical teams. Each virtual patient case follows the critical path to be followed for a specific patient in a hospital. MedVPS takes the student on a journey that enables the st...

Organizational critical activities (OCAs) are activities which must receive constant management attention in order for that organization to be successful in its industry. Some empirical studies have shown that all of these activities may not be well supported by organizations’ websites. This research attempts to develop the evaluation methodology which can be used to assess how well an organiza...

People traditionally have considered the number of counters in the critical path as the met ric for the performance of a multiplier This report presents the view that tree topologies which have the least number of levels do not always give the fastest possible multiplier when constrained to be part of a microprocessor It proposes two new topologies hybrid struc ture and higher order arrays whic...

In a biconnected graph, a detour is the best alternative path from a detour-starting vertex to the destination vertex. A detour-starting vertex is the vertex from which the original shortest path is changed. The longest detour (LD) problem is to find a detour-critical edge in a shortest path such that the removal of the edge results in the maximum distance increment. In this paper, we deal with...

This is a project report from the Power Systems Engineering Research Center (PSERC). PSERC is a multi-university Center conducting research on challenges facing a restructuring electric power industry and educating the next generation of power engineers. More information about PSERC can be found at the Center's website: The project has been carried out in collaboration between the Washington St...