Stefan Dantchev | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Barnaby Martin
6 publications
Nicola Galesi
2 publications
Abdul Ghani
1 publication

research

∙ 11/01/2019

Sherali-Adams and the binary encoding of combinatorial principles

We consider the Sherali-Adams (SA) refutation system together with the u...

0 Stefan Dantchev, et al. ∙

research

∙ 09/08/2018

Resolution and the binary encoding of combinatorial principles

We investigate the size complexity of proofs in Res(s) -- an extension o...

0 Stefan Dantchev, et al. ∙

Success!

An error occurred