2022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX)

Book title Buchtitel

ISBN

978-1-61197-704-2

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Schidler, André ; Szeider, Stefan	A SAT Approach to Twin-Width	Inproceedings Konferenzbeitrag	2022