Shiraz Shay

According to our database, Shiraz Shay authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Contraction Tree SAT Encoding for Computing Twin-Width.

Yinon Horev, Shiraz Shay, Sarel Cohen, Tobias Friedrich, Davis Issac, Lior Kamma, Aikaterini Niklanovits, Kirill Simonov

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2024