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 "A Generic, Collaborative Framework for Interval Constraint Solving: Thesis"):
  Abstract: The paper abstracts the contents of a PhD dissertation entitled A Generic, Collaborative Framework for Interval Constraint Solving which has been recently defended. This thesis presents a generic framework for defining and solving interval constraints on any set of domains (finite or infinite) that are lattices. This framework combines a number of characteristics desirable in any constraint system such as transparency, on both constraints and computation domains (i.e., it follows a glass box approach where new constraints can be user defined and new, possibly compound, constraint domains can be constructed from existing domains using lattice combinators), cooperativity (so that different solvers, possibly on distinct domains, can communicate and hence, cooperate in solving a problem) and genericity (i.e., it can be applied on any computation domain with lattice structure).

Includes members:
  Member "An interval constraint system for lattice domains":
    also connected through other hyperedges:
      (none)

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