Nothing Special   »   [go: up one dir, main page]
Published October 12, 2021 | Version v1
Dataset Open

A SAT Approach to Twin-Width

Creators

  • 1. TU Wien

Description

Results for the paper "A SAT Approach to Twin-Width" to appear at ALENEX 2022.

Files

results-nauty.txt

Files (21.9 kB)

Name Size Download all
md5:f2ae388b77c58cc2b2f85fcc19e75d78
18.3 kB Download
md5:aed91b83ae0c780b8c1594e8ec6075a5
48 Bytes Preview Download
md5:948905633340825fccac8590ffda0b8f
3.5 kB Preview Download