Solving Proximity Constraints

Teimuraz Kutsia; Ioana Cleopatra Pau

Solving Proximity Constraints

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers
Editors	Maurizio Gabbrielli
Pages	107-122
Number of pages	16
Volume	12042
Publication status	Published - 2019

Publication series

Name	Lecture Notes in Computer Science (LNCS)

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

Cite this

@inproceedings{0797c40312ec4afda4abd1c9b4efb543,

title = "Solving Proximity Constraints",

author = "Teimuraz Kutsia and Pau, \{Ioana Cleopatra\}",

year = "2019",

language = "English",

isbn = "978-3-030-45259-9",

volume = "12042",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "107--122",

editor = "\{Maurizio Gabbrielli\}",

booktitle = "Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers",

}

Solving Proximity Constraints. / Kutsia, Teimuraz ; Pau, Ioana Cleopatra.
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers. ed. / Maurizio Gabbrielli. Vol. 12042 2019. p. 107-122 (Lecture Notes in Computer Science (LNCS)).

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

TY - GEN

T1 - Solving Proximity Constraints

AU - Kutsia, Teimuraz

AU - Pau, Ioana Cleopatra

PY - 2019

Y1 - 2019

M3 - Conference proceedings

SN - 978-3-030-45259-9

VL - 12042

T3 - Lecture Notes in Computer Science (LNCS)

SP - 107

EP - 122

BT - Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers

A2 - Maurizio Gabbrielli, null

ER -