Login / Signup
Abdul Ghani
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Lower Bounding
Encoding Schemes
Depth Information
Linear Programming Relaxation
Top Venues
Log. Methods Comput. Sci.
STACS
SIAM J. Comput.
</>
Publications
</>
Stefan S. Dantchev
,
Nicola Galesi
,
Abdul Ghani
,
Barnaby Martin
Proof Complexity and the Binary Encoding of Combinatorial Principles.
SIAM J. Comput.
53 (3) (2024)
Stefan S. Dantchev
,
Nicola Galesi
,
Abdul Ghani
,
Barnaby Martin
Depth lower bounds in Stabbing Planes for combinatorial principles.
Log. Methods Comput. Sci.
20 (1) (2024)
Stefan S. Dantchev
,
Nicola Galesi
,
Abdul Ghani
,
Barnaby Martin
Depth Lower Bounds in Stabbing Planes for Combinatorial Principles.
STACS
(2022)