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 "Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems."):
  Abstract: The sequential circuit state space diameter problem is an important problem in sequential verification. Bounded model checking is complete if the state space diameter of the system is known. By unrolling the transition relation, the sequential circuit state space diameter problem can be formulated as an evaluation for satisfiability of a Quantified Boolean Formula (QBF). This has prompted research in QBFs in the verification community. Most of existing QBF algorithms, such as those based on the DPLL SAT algorithm, are search based. We show that using search based QBF algorithms to calculate the state space diameter of sequential circuits with existing problem formulations is no better than an explicit state space enumeration method. This result holds independent of the representation of the QBF formula. This result is important as it highlights the need to explore non-search based or hybrid of search and non-search based QBF algorithms for the sequential circuit state space diameter problem.

Includes members:
  Member "Formal Verification of Gate-Level Computer Systems":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "The Verisoft Approach to Systems Verification")
  Member "Efficient conflict driven learning in a boolean satisfiability solver":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "A new approach to the maximum flow problem")
  Member "Learning partially observable deterministic action models":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Learning HTN method preconditions and action models from partial observations")

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