×

Found 2 Documents (Results 1–2)

Reordering rule makes OBDD proof systems stronger. (English) Zbl 1441.03042

Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 16, 24 p. (2018).
MSC:  03F20 68P05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field