×

Found 35 Documents (Results 1–35)

Dismantlability, connectedness, and mixing in relational structures. (English) Zbl 1503.08001

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 29, 15 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Constraint theory. Multidimensional mathematical model management. 2nd edition. (English) Zbl 1400.05001

IFSR International Series on Systems Science and Engineering 23. Cham: Springer (ISBN 978-3-319-54791-6/hbk; 978-3-319-54792-3/ebook). xxiii, 219 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Approximating infeasible 2VPI-systems. (English) Zbl 1341.05042

Golumbic, Martin Charles (ed.) et al., Graph-theoretic concepts in computer science. 38th international workshop, WG 2012, Jerusalem, Israel, June 26–28, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34610-1/pbk). Lecture Notes in Computer Science 7551, 225-236 (2012).
PDFBibTeX XMLCite
Full Text: DOI

On searching for small Kochen-Specker vector systems. (English) Zbl 1341.05162

Kolman, Petr (ed.) et al., Graph-theoretic concepts in computer science. 37th international workshop, WG 2011, Teplá Monastery, Czech Republic, June 21–24, 2011. Revised papers. Berlin: Springer (ISBN 978-3-642-25869-5/pbk). Lecture Notes in Computer Science 6986, 23-34 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Capacity-constrained Voronoi diagrams in finite spaces. (English) Zbl 1325.52016

Sugihara, Kokichi (ed.) et al., Voronoï’s impact on modern science. Book 4, Volume 2. Proceedings of the 5th international symposium on Voronoi diagrams in science and engineering, ISVD-2008, Kyiv, Ukraine, September 22–28, 2008. Kyiv: Institute of Mathematics, NAS of Ukraine (ISBN 978-966-02-4890-8/pbk; 978-966-02-4892-2/set). 44-56 (2008).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software