8 citations found. Retrieving documents...
E.Korf. Artificial intelligence search algorithms. and Theory Computation Handbook. Press, Boca Raton, 1999.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Heuristic Planning with Time and Resources - Haslum, Geffner (2001)   (10 citations)  (Correct)

....; for actions a such that p 2 add(a) As a result, for m = 1, 6) becomes H 1 T (fpg; min a:p2add(a) dur(a) H 1 T (pre(a) 9) The corresponding equations for H 2 T are in [9] 3. 3 Search Algorithm Any admissible search algorithm, e.g. a , ida or DFS branch and bound [14], can be used with the search scheme described above to find optimal solutions. The planner uses ida with some standard enhancements (cycle checking and a transposition table) and an optimality preserving pruning rule explained below. The heuristic used is H 2 T , precomputed for sets of at ....

R.E. Korf. Artificial intelligence search algorithms. In Handbook of Algorithms and Theory of Computation, chapter 36. CRC Press, 1999.


Heuristic Planning with Time and Resources - Haslum, Geffner (2001)   (10 citations)  (Correct)

....= 1, 6) becomes H 1 T (fpg) min a:p2add(a) dur(a) H 1 T (pre(a) 9) where H 1 T (E) stands for H 1 T (E; The planner uses the heuristic H 2 T . The corresponding equations are in [8] 4. 4 Search Algorithm Any admissible search algorithm, e.g. a , ida or branch and bound [12], can be used with the search scheme described above to find optimal solutions. We have used ida with some standard enhancements: a transposition table [16] cycle checking, and an optimality preserving pruning rule explained below. For heuristic we use H 2 T , precomputed for sets of at most ....

R.E. Korf. Artificial intelligence search algorithms. In Handbook of Algorithms and Theory of Computation, chapter 36. CRC Press, 1999.


Unknown - Of Illinois Copyright   (Correct)

No context found.

E.Korf. Artificial intelligence search algorithms. and Theory Computation Handbook. Press, Boca Raton, 1999.


Planning Algorithms - LaValle (2004)   (3 citations)  (Correct)

No context found.

R. Korf. Artificial intelligence search algorithms. In Algorithms and Theory of Computation Handbook. CRC Press, 1999.


Synthesis of Reversible Logic Circuits - Vivek Shende Aditya (2003)   (Correct)

No context found.

R. Korf, "Artificial intelligence search algorithms," in Algorithms Theory Computation Handbook. Boca Raton, FL: CRC Press, 1999.


Reversible Logic Circuit Synthesis - Vivek Shende Aditya (2002)   (Correct)

No context found.

R. Korf, "Artificial Intelligence Search Algorithms", Algorithms and Theory of Computation Handbook, CRC Press, 1999.


Synthesis of Reversible Logic Circuits - Shende, Prasad, Markov, Hayes (2003)   (Correct)

No context found.

R. Korf, "Artificial Intelligence Search Algorithms", Algorithms and Theory of Computation Handbook, CRC Press, 1999.


Reversible Logic Circuit Synthesis - Shende, Prasad, Markov, Hayes (2002)   (Correct)

No context found.

R. Korf, "Artificial Intelligence Search Algorithms", Algorithms and Theory of Computation Handbook, CRC Press, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC