Filmus, Yuval; Hirsch, Edward A.; Riazanov, Artur; Smal, Alexander; Vinyals, Marc Proving Unsatisfiability with Hitting Formulas. arXiv:2302.06241 Preprint, arXiv:2302.06241 [cs.CC] (2023). MSC: 03F20 BibTeX Cite \textit{Y. Filmus} et al., ``Proving Unsatisfiability with Hitting Formulas'', Preprint, arXiv:2302.06241 [cs.CC] (2023) Full Text: arXiv OA License
Filmus, Yuval; Mahajan, Meena; Sood, Gaurav; Vinyals, Marc MaxSAT resolution and subcube sums. (English) Zbl 07331028 Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 295-311 (2020). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{Y. Filmus} et al., Lect. Notes Comput. Sci. 12178, 295--311 (2020; Zbl 07331028) Full Text: DOI arXiv
Vinyals, Marc; Elffers, Jan; Giráldez-Cru, Jesús; Gocht, Stephan; Nordström, Jakob In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving. (English) Zbl 1508.03046 Beyersdorff, Olaf (ed.) et al., Theory and applications of satisfiability testing – SAT 2018. 21st international conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10929, 292-310 (2018). MSC: 03B35 03F20 68V15 PDFBibTeX XMLCite \textit{M. Vinyals} et al., Lect. Notes Comput. Sci. 10929, 292--310 (2018; Zbl 1508.03046) Full Text: DOI
Alwen, Joël; de Rezende, Susanna F.; Nordström, Jakob; Vinyals, Marc Cumulative space in black-white pebbling and resolution. (English) Zbl 1402.68079 Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 38, 21 p. (2017). MSC: 68Q25 03F20 68Q17 PDFBibTeX XMLCite \textit{J. Alwen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 67, Article 38, 21 p. (2017; Zbl 1402.68079) Full Text: DOI
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc From small space to small width in resolution. (English) Zbl 1367.03105 ACM Trans. Comput. Log. 16, No. 4, Article No. 28, 15 p. (2015). MSC: 03F20 PDFBibTeX XMLCite \textit{Y. Filmus} et al., ACM Trans. Comput. Log. 16, No. 4, Article No. 28, 15 p. (2015; Zbl 1367.03105) Full Text: DOI Link
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc From small space to small width in resolution. (English) Zbl 1359.03042 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 300-311 (2014). MSC: 03F20 PDFBibTeX XMLCite \textit{Y. Filmus} et al., LIPIcs -- Leibniz Int. Proc. Inform. 25, 300--311 (2014; Zbl 1359.03042) Full Text: DOI arXiv
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract). (English) Zbl 1336.03065 Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-39205-4/pbk). Lecture Notes in Computer Science 7965, 437-448 (2013). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{Y. Filmus} et al., Lect. Notes Comput. Sci. 7965, 437--448 (2013; Zbl 1336.03065) Full Text: DOI