Full name Familienname, Vorname

Xia, Hai

Main Affiliation Organisationszuordnung

E192-01 - Forschungsbereich Algorithms and Complexity

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Xia, Hai ; Szeider, Stefan	SAT-Based Tree Decomposition with Iterative Cascading Policy Selection	Inproceedings Konferenzbeitrag	2024