human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "External symbolic heuristic search with pattern databases"):
  Abstract: In this paper we propose refinements for optimal search with symbolic pattern databases in deterministic state-space planning. As main memory is limited, external heuristic search is combined with the power of symbolic representation. We start with an external version of symbolic breadth-first search. Then an alternative and external implementation for BDDA* to include different heuristic evaluation functions into the symbolic search process is presented.

We evaluate the approach in benchmarks taken from the 4th international planning competition.

Includes members:
  Member "Planning via Model Checking: A Decision Procedure for AR":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Symbolic Boolean manipulation with ordered binary-decision diagrams")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science