0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788