Výsledky vyhledávání
- 1.0478446 - ÚI 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav - Moraschini, Tommaso - Vidal, Amanda
An Algebraic Approach to Valued Constraint Satisfaction.
26th EACSL Annual Conference on Computer Science Logic. Dagstuhl: Leibniz-Zentrum fuer Informatik, 2017 - (Goranko, V.; Dam, M.). Leibniz International Proceedings in Informatics, 82. ISBN 978-3-95977-045-3. ISSN 1868-8969.
[CSL 2017. EACSL Annual Conference on Computer Science Logic /26./. Stockholm (SE), 20.08.2017-24.08.2017]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: valued CSP * polymorphism * pp-definability * Geiger’s Theorem
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7676/
Trvalý link: http://hdl.handle.net/11104/0274563Název souboru Staženo Velikost Komentář Verze Přístup a0478446.pdf 2 619.8 KB Vydavatelský postprint vyžádat