Personensuche
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
On the strength of Sherali-Adams and Nullstellensatz as pro..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
13
Equivalence Between Systems Stronger Than Resolution:
, In:
?
Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019 ,
15