HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sergey Bereg

Publications
On Maximum-Sum Matchings of Points
Sergey Bereg, Oscar Chacón-Rivera, David Flores-Peñaloza, Clemens Huemer, Pablo Pérez-Lantero and Carlos Seara
EasyChair Preprint 6038
Effectively Monadic Predicates
Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey Bereg
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Colored points, Disks, intersection graph, matchings, Max-sum Euclidean matching, monadic decomposition, Monadic predicates, Satisfiability Modulo Theories, symbolic automata.

Copyright © 2012-2025 easychair.org. All rights reserved.