Solving Proximity Constraints

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45260-5_7 ◽

2020 ◽

pp. 107-122

Author(s):

Temur Kutsia ◽

Cleo Pau

Download Full-text