Keyphrases
Admissibility
33%
Binary Decision Diagram
66%
Boolean
66%
Compact Binaries
33%
Computation Time
33%
Computational Burden
33%
Graph Search
33%
Heuristic Function
66%
Individual State
33%
Makespan Minimization
33%
Petri Nets
33%
Reachability Graph
33%
Robotic Cellular Manufacturing System
100%
Search Process
33%
Symbolic Manipulation
33%
Symbolic Representation
33%
Systems-based
33%
Timed Petri Nets
100%
Computer Science
binary decision diagram
100%
Boolean Manipulation
50%
Computational Time
50%
Heuristic Function
100%
Individual State
50%
Petri Net
50%
Reachability Graph
50%
Search Algorithm
50%
time petri net
100%
Engineering
Cellular Manufacturing
100%
Computational Time
25%
Gas Fuel Manufacture
100%
Individual State
25%
Optimality
75%
Reachability
25%
Search Algorithm
25%
Symbolics
100%