×

Found 7 Documents (Results 1–7)

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

Main Field