Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published May 17, 2023 | Version v1
Software Open

Computing twin-width with SAT and branch & bound

Authors/Creators

  • Schidler, Andre1 ORCID icon
  • Szeider, Stefan1 ORCID icon
  • 1. TU Wien

Description

The source code, as used for the experiments.

Files

src.zip

Files (3.1 MB)

Name Size Download all
src.zip
md5:2a5508704638efbc18ac8dd1149d298f
3.1 MB Preview Download
88
Views
21
Downloads
Show more details
All versions This version
Views

Total views

88 88
Downloads

Total downloads

21 21
Data volume

Total data volume

64.2 MB 64.2 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.7944399
DOI Badge

DOI 

10.5281/zenodo.7944399

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7944399.svg)](https://doi.org/10.5281/zenodo.7944399)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7944399.svg
  :target: https://doi.org/10.5281/zenodo.7944399

HTML 

<a href="https://doi.org/10.5281/zenodo.7944399"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7944399.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7944399.svg

Target URL 

https://doi.org/10.5281/zenodo.7944399
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
May 17, 2023
Modified
May 18, 2023

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Help

  • Overview
  • FAQ
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use
  • Support

This site uses cookies. Find out more on how we use cookies