Abdul Ghani

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 5

Top Topics

Piecewise Planar

Encoding Schemes

Cultural Heritage

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin
Depth lower bounds in Stabbing Planes for combinatorial principles. CoRR (2021)
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin
Depth lower bounds in Stabbing Planes for combinatorial principles. Electron. Colloquium Comput. Complex. 28 (2021)
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin
Proof complexity and the binary encoding of combinatorial principles. CoRR (2020)
Stefan S. Dantchev, Abdul Ghani, Barnaby Martin
Sherali-Adams and the Binary Encoding of Combinatorial Principles. LATIN (2020)
Stefan S. Dantchev, Abdul Ghani, Barnaby Martin
Sherali-Adams and the binary encoding of combinatorial principles. CoRR (2019)
Dahlan Bin, Abdul Ghani
Dissemination of "Seri Rama" Shadow Play puppet as a cultural heritage through Capcom's Street Fighter IV. ICUIMC (2012)