MaxSAT Resolution and Subcube Sums

Open Webpage

Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals

Published: 01 Jan 2023, Last Modified: 02 Apr 2025ACM Trans. Comput. Log. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0