Depth lower bounds in Stabbing Planes for combinatorial principles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan S. Dantchev, Nicola Galesi, Abdul Ghani 0001, Barnaby Martin. Depth lower bounds in Stabbing Planes for combinatorial principles. Logical Methods in Computer Science, 20(1), 2024. [doi]

This author has not been identified. Look up 'Stefan S. Dantchev' in GoogleThis author has not been identified. Look up 'Nicola Galesi' in GoogleThis author has not been identified. Look up 'Abdul Ghani 0001' in GoogleThis author has not been identified. Look up 'Barnaby Martin' in Google

runs on WebDSL