Zahra Hadizadeh

According to our database, Zahra Hadizadeh authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Higher-Order Quantified Boolean Satisfiability.

Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022