human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "program analysis with local policy iteration"):
  Abstract: We present local policy iterationi¾?LPI, a new algorithm for deriving numerical invariants that combines the precision of max-policy iteration with the flexibility and scalability of conventional Kleene iterations. It is defined in the Configurable Program Analysis CPA framework, thus allowing inter-analysis communication.#R##N##R##N#LPI uses adjustable-block encoding in order to traverse loop-free program sections, possibly containing branching, without introducing extra abstraction. Our technique operates over any template linear constraint domain, including the interval and octagon domains; templates can also be derived from the program source.#R##N##R##N#The implementation is evaluated on a set of benchmarks from the International Competition on Software Verification SV-COMP. It competes favorably with state-of-the-art analyzers.

Includes members:
  Member "invariant generation through strategy iteration in succinctly represented control flow graphs":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a survey of satisfiability modulo theory")
  Member "pagai a path sensitive static analyzer":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "an observational investigation of reverse engineers processes")
  Member "using bounded model checking to focus fixpoint iterations":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "combining forward and backward abstract interpretation of horn clauses")
  Member "automatic modular abstractions for template numerical constraints":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "scaling up logico numerical strategy iteration extended version")
  Member "cpachecker a tool for configurable software verification":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "proving differential privacy with shadow execution")
  Member "the octagon abstract domain":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "reludiff differential verification of deep neural networks")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)