Constraint Solving over Multiple Similarity Relations

Besik Dundua; Teimuraz Kutsia; Mircea Marin; Ioana Cleopatra Pau

doi:10.4230/LIPIcs.FSCD.2020.30

Constraint Solving over Multiple Similarity Relations

Besik Dundua, Teimuraz Kutsia, Mircea Marin, Ioana Cleopatra Pau

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

ISSN: 1868-8969

Original language	English
Title of host publication	Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Editors	Zena M. Ariola
Publisher	Schloss Dagstuhl--Leibniz-Zentrum für Informatik
Pages	30:1-30:19
Number of pages	19
Volume	167
ISBN (Print)	978-3-95977-155-9
DOIs	https://doi.org/10.4230/LIPIcs.FSCD.2020.30
Publication status	Published - 2020

Publication series

Name	Leibniz International Proceedings in Informatics (LIPIcs)

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Digital Transformation

Access to Document

10.4230/LIPIcs.FSCD.2020.30

Cite this

Dundua, B., Kutsia, T., Marin, M., & Pau, I. C. (2020). Constraint Solving over Multiple Similarity Relations. In Zena M. Ariola (Ed.), Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) (Vol. 167, pp. 30:1-30:19). Article 30 (Leibniz International Proceedings in Informatics (LIPIcs)). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2020.30

Dundua, Besik ; Kutsia, Teimuraz ; Marin, Mircea et al. / Constraint Solving over Multiple Similarity Relations. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). editor / Zena M. Ariola. Vol. 167 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2020. pp. 30:1-30:19 (Leibniz International Proceedings in Informatics (LIPIcs)).

@inproceedings{7ba4f3a56d6f4cd4aa98af9ee5ec54f2,

title = "Constraint Solving over Multiple Similarity Relations",

abstract = "ISSN: 1868-8969",

author = "Besik Dundua and Teimuraz Kutsia and Mircea Marin and Pau, {Ioana Cleopatra}",

year = "2020",

doi = "10.4230/LIPIcs.FSCD.2020.30",

language = "English",

isbn = "978-3-95977-155-9",

volume = "167",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

publisher = "Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik",

pages = "30:1--30:19",

editor = "{Zena M. Ariola}",

booktitle = "Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)",

}

Dundua, B, Kutsia, T, Marin, M & Pau, IC 2020, Constraint Solving over Multiple Similarity Relations. in Zena M. Ariola (ed.), Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). vol. 167, 30, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl--Leibniz-Zentrum für Informatik, pp. 30:1-30:19. https://doi.org/10.4230/LIPIcs.FSCD.2020.30

Constraint Solving over Multiple Similarity Relations. / Dundua, Besik; Kutsia, Teimuraz; Marin, Mircea et al.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). ed. / Zena M. Ariola. Vol. 167 Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2020. p. 30:1-30:19 30 (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Constraint Solving over Multiple Similarity Relations

AU - Dundua, Besik

AU - Kutsia, Teimuraz

AU - Marin, Mircea

AU - Pau, Ioana Cleopatra

PY - 2020

Y1 - 2020

N2 - ISSN: 1868-8969

AB - ISSN: 1868-8969

U2 - 10.4230/LIPIcs.FSCD.2020.30

DO - 10.4230/LIPIcs.FSCD.2020.30

M3 - Conference proceedings

SN - 978-3-95977-155-9

VL - 167

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 30:1-30:19

BT - Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)

A2 - Zena M. Ariola, null

PB - Schloss Dagstuhl--Leibniz-Zentrum für Informatik

ER -

Dundua B, Kutsia T, Marin M, Pau IC. Constraint Solving over Multiple Similarity Relations. In Zena M. Ariola, editor, Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Vol. 167. Schloss Dagstuhl--Leibniz-Zentrum für Informatik. 2020. p. 30:1-30:19. 30. (Leibniz International Proceedings in Informatics (LIPIcs)). doi: 10.4230/LIPIcs.FSCD.2020.30