Košík

0480888 - ÚI 2018 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: conjunctive normal form * matched formula * pure literal satisfiable formula
Kód oboru RIV: BA - Obecná matematika
https://www.ijcai.org/proceedings/2017/0721.pdf
Trvalý link: http://hdl.handle.net/11104/0276554