Search results

0478446 - ÚI 2018 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : valued CSP * polymorphism * pp-definability * Geiger’s Theorem
OECD category: 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/
Permanent Link: http://hdl.handle.net/11104/0274563