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.

Originalsprache	Englisch
Titel	In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018
Erscheinungsdatum	2018
Publikationsstatus	Veröffentlicht - 2018

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

@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 -