A SAT Approach to Branchwidth

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	ACM Transactions on Computational Logic
Personen und Körperschaften:	Lodha, Neha, Ordyniak, Sebastian, Szeider, Stefan
In:	ACM Transactions on Computational Logic, 20, 2019, 3, S. 1-24
Medientyp:	E-Article
Sprache:	Englisch
veröffentlicht:	Association for Computing Machinery (ACM)
Schlagwörter:	Computational Mathematics Logic General Computer Science Theoretical Computer Science