Abdul Ghani

According to our database, Abdul Ghani authored at least 3 papers between 2020 and 2024.

Collaborative distances:

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

2024

Proof Complexity and the Binary Encoding of Combinatorial Principles.

Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

SIAM J. Comput., 2024

2022

Depth Lower Bounds in Stabbing Planes for Combinatorial Principles.

Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

2020

Sherali-Adams and the Binary Encoding of Combinatorial Principles.

Stefan S. Dantchev, Abdul Ghani, Barnaby Martin

Proceedings of the LATIN 2020: Theoretical Informatics, 2020