Login / Signup
Mariam Beriashvili
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Real Numbers
Constraint Satisfaction Problems
Constraint Logic Programming
Constraint Solver
Top Venues
ICCSAMA
</>
Publications
</>
Mariam Beriashvili
,
Besik Dundua
A Constraint Solver for Equations over Sequences and Contexts.
ICCSAMA
(2016)