ions are widely considered as very good techniques in order to reduce the search space and, consequently, to simplify the problem solving procedure. Abstraction is defined by Giunchiglia and Walsh (7) as the mapping of a problem representation into a simpler one that satisfies some desirable properties in order to reduce the complexity of reasoning. The problem is solved in a simplified abstrac...

Recently, a Euclidean heuristic (EH) has been proposed for A* search. EH exploits manifold learning methods to construct an embedding of the state space graph, and derives an admissible heuristic distance between two states from the Euclidean distance between their respective embedded points. EH has shown good performance and memory efficiency in comparison to other existing heuristics such as ...

Heuristic repair algorithms, a class of local search methods, demonstrate impressive eeciency in solving some large-scale and hard instances of constraint satisfaction problems (CSP's). In this paper, we draw a surprising connection between heuristic repair techniques and the discrete Lagrange multiplier methods by transforming CSP's into zero-one constrained optimization problems. A Lagrangian...

In this paper, we study the converter placement problem with static traffic in wavelength division multiplexing ring networks using sparse wavelength conversion. Three heuristic techniques, genetic algorithms (GA), simulated annealing (SA) and tabu search (TS), are utilized to solve this combinatorial optimization problem. Also, an alternative method, integer programming based heuristic (Lagran...

3 Introduction Introduction This paper presents a hybrid intelligent system for This paper presents a hybrid intelligent system for electrical load forecast, named by PREVER. electrical load forecast, named by PREVER. Artificial Neural Networks (ANN) were combined with Artificial Neural Networks (ANN) were combined with Heuristic Rules to create the system. Heuristic Rules to create the system....

There is a growing body of work on directed model checking, which improves the falsi cation of safety properties by providing heuristic functions that can guide the search quickly towards short error paths. Techniques of this kind have also been made very successful in the area of AI Planning. Our main technical contribution is the adaptation of the most successful heuristic function from AI Pl...

In this paper, meta-heuristic optimization techniques are introduced and their applications to water resources engineering, particularly in hydrological science are introduced. In recent years, meta-heuristic optimization techniques have been introduced that can overcome the problems inherent in iterative simulations. These methods are able to find good solutions and require limited computation...

Fuzzy techniques have been successfully used in various application areas ranging from control to image processing to decision making. In all these applications, there is usually: a general idea, and then there are several possible implementations of this idea; e.g., we can use: { diierent membership functions, { diierent \and" and \or" operations, { diierent defuzziications, etc. In the rst ap...