×

Found 10 Documents (Results 1–10)

Propositional proof complexity. (English) Zbl 07763400

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 439-464 (2023).
MSC:  03F20 68Q17
PDFBibTeX XMLCite
Full Text: DOI

On minimal unsatisfiability and time-space trade-offs for \(k\)-DNF resolution. (English) Zbl 1334.03057

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-22005-0/pbk). Lecture Notes in Computer Science 6755, 642-653 (2011).
MSC:  03F20 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software