Abdul Ghani

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

Collaborative distances:

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

2021

Depth lower bounds in Stabbing Planes for combinatorial principles.

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

Electron. Colloquium Comput. Complex., 2021

2020

Proof complexity and the binary encoding of combinatorial principles.

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

CoRR, 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