SAT-Encodings of Tree Decompositions

Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka

Abstract

We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs.

Original language	English
Title of host publication	In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018
Publication date	2018
Publication status	Published - 2018

This output contributes to the following UN Sustainable Development Goals (SDGs)

@inbook{75d4990c71084448aa86ac7ef877201a,

title = "SAT-Encodings of Tree Decompositions",

abstract = "We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs.",

author = "Max Bannach and Sebastian Berndt and Thorsten Ehlers and Dirk Nowotka",

year = "2018",

language = "English",

booktitle = "In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018",

}

TY - CHAP

T1 - SAT-Encodings of Tree Decompositions

AU - Bannach, Max

AU - Berndt, Sebastian

AU - Ehlers, Thorsten

AU - Nowotka, Dirk

PY - 2018

Y1 - 2018

N2 - We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs.

AB - We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs.

UR - https://www.researchgate.net/publication/327980726_SAT-Encodings_of_Tree_Decompositions

M3 - Contributions to collected editions/anthologies

BT - In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018

ER -