×

Found 100 Documents (Results 1–100)

Three views on dependency covers from an FCA perspective. (English) Zbl 07786583

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 78-94 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

The Boolean determinant calculus. (English) Zbl 07737803

Tchemisova, Tatiana V. (ed.) et al., Dynamic control and optimization. DCO 2021, Aveiro, Portugal, February 3–5, 2021. Selected revised contributions. Cham: Springer. Springer Proc. Math. Stat. 407, 163-184 (2022).
MSC:  06-XX
PDFBibTeX XMLCite
Full Text: DOI

Speeding up dualization in the Fredman-Khachiyan algorithm B. (English) Zbl 1493.68393

D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 103, Article 6, 13 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Boolean functions. Theory, algorithms, and applications. (English) Zbl 1237.06001

Encyclopedia of Mathematics and its Applications 142. Cambridge: Cambridge University Press (ISBN 978-0-521-84751-3/hbk; 978-1-139-06424-8/ebook). xxi, 687 p. (2011).
MSC:  06-00 06E30
PDFBibTeX XMLCite

On the readability of monotone Boolean formulae. (English) Zbl 1248.68214

Ngo, Hung Q. (ed.), Computing and combinatorics. 15th annual international conference, COCOON 2009, Niagara Falls, NY, USA, July 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02881-6/pbk). Lecture Notes in Computer Science 5609, 496-505 (2009).
MSC:  68Q17 94C10
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software