MaxSAT resolution and subcube sums (Q2661356)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | MaxSAT resolution and subcube sums |
scientific article |
Statements
MaxSAT resolution and subcube sums (English)
0 references
7 April 2021
0 references
proof complexity
0 references
MaxSAT resolution
0 references
subcube complexity
0 references
Sherali-Adams proofs
0 references
conical juntas
0 references