Personensuche
X
?
LATIN 2020: Theoretical Informatics; Lecture Notes in Computer Science ,
1
Sherali-Adams and the Binary Encoding of Combinatorial Prin..:
, In:
?
Proceedings of the 34th Computational Complexity Conference ,
2
Resolution and the binary encoding of combinatorial princip..:
, In:
?
Proceedings of the 2005 ACM symposium on Applied computing ,
3
On the computational limits of infinite satisfaction:
, In:
?
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing ,
4