×

Found 40 Documents (Results 1–40)

A homological theory of functions: nonuniform Boolean complexity separation and VC dimension bound via algebraic topology, and a homological Farkas lemma. (English) Zbl 1462.68063

Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 56, 16 p. (2018).
MSC:  68Q15 13F55 55N10
Full Text: DOI

Binary pattern tile set synthesis is NP-hard. (English) Zbl 1370.68108

Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-47671-0/pbk; 978-3-662-47672-7/ebook). Lecture Notes in Computer Science 9134, 1022-1034 (2015).
MSC:  68Q17 05B45 68Q80 68T15

SAT-based analysis of cellular automata. (English) Zbl 1116.68508

Sloot, Peter M. A. (ed.) et al., Cellular automata. 6th international conference on cellular automata for research and industry, ACRI 2004, Amsterdam, The Netherlands, October 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23596-5/pbk). Lecture Notes in Computer Science 3305, 745-754 (2004).
MSC:  68Q80 68T15
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software