MaxSAT resolution and subcube sums

DOI10.1007/978-3-030-51825-7_21OpenAlexW3029628215MaRDI QIDQ2661356

Yuval Filmus, Gaurav Sood, Marc Vinyals, Meena Mahajan

Publication date: 7 April 2021

Full work available at URL: https://arxiv.org/abs/2005.11589

zbMATH Keywords

proof complexityconical juntasMaxSAT resolutionSherali-Adams proofssubcube complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

Proofs and Certificates for Max-SAT

This page was built for publication: MaxSAT resolution and subcube sums