Published December 17, 2023 | Version v1
Software Open

End-to-End Verification for Subgraph Solving: Supplementary Material

Creators

  • 1. ROR icon Lund University
  • 2. ROR icon University of Copenhagen
  • 3. ROR icon University of Glasgow
  • 4. ROR icon Chalmers University of Technology
  • 5. ROR icon Institute for Infocomm Research

Description

Supplementary material for the AAAI'24 paper "End-to-End Verification for Subgraph Solving".

Files

AAAI2024_End-to-EndVerificationForSubgraphSolving_SupplementaryMaterial.zip

Files (26.1 MB)