Zi Li Tan

According to our database, Zi Li Tan authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Towards Universally Accessible SAT Technology.

Alexey Ignatiev, Zi Li Tan, Christos Karamanos

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024