Vytisknout
0543613 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Li, C. M. - Manya, F. - Vidal, Amanda
Tableaux for Maximum Satisfiability in Lukasiewicz Logic.
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). Proceedings. Piscataway: IEEE, 2020, s. 243-248. ISBN 978-1-7281-5406-0. ISSN 2378-2226.
[ISMVL 2020: IEEE International Symposium on Multiple-Valued Logic /50./. Miyazaki (JP), 09.11.2020-11.11.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logic * MaxSAT * Tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0320803
Li, C. M. - Manya, F. - Vidal, Amanda
Tableaux for Maximum Satisfiability in Lukasiewicz Logic.
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). Proceedings. Piscataway: IEEE, 2020, s. 243-248. ISBN 978-1-7281-5406-0. ISSN 2378-2226.
[ISMVL 2020: IEEE International Symposium on Multiple-Valued Logic /50./. Miyazaki (JP), 09.11.2020-11.11.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logic * MaxSAT * Tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0320803