Ghani, Abdul

1. Sherali-Adams and the binary encoding of combinatorial principles
   2019/11/01 by Dantchev, Stefan, Ghani, Abdul, Martin, Barnaby · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Proof complexity and the binary encoding of combinatorial principles
   2020/08/04 by Stefan Dantchev, Nicola Galesi, Dantchev, Stefan +5 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Benford’s Law and Fraud Detection #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory