Unit 2-interval graph checker

Saffidine, Abdallah

doi:10.4230/artifacts.22474

Artifact

Unit 2-interval graph checker Software

Author Abdallah Saffidine

Part of: Collection: Supplementary Materials
License: BSD 2-Clause "Simplified" License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22474
URN: urn:nbn:de:0030-drops-224743

Author Details

Abdallah Saffidine

University of New South Wales, Sydney, Australia

Content

Software (Source Code): https://github.com/AbdallahS/unit-graphs
archived version

Version/Status

Content created at: 2022-06-14
Status: Inactive (at the time of publication 2024-11-28)

Cite As Get BibTex

Abdallah Saffidine. Unit 2-interval graph checker (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22474

Description

This python script checks if a given interval graph is a unit 2-interval graph using an encoding in answer set programming.

Subject Classification

Keywords

Unit 2-interval graphs
ASP

Programming Languages

Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail