Author:Sergey Bereg
KeyphrasesColored points, Disks, intersection graph, matchings, Max-sum Euclidean matching, monadic decomposition, Monadic predicates, Satisfiability Modulo Theories, symbolic automata. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |