0480888 - ÚI 2018 DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR GA15-15511S
Institutional support: RVO:67985807
Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
https://www.ijcai.org/proceedings/2017/0721.pdf
Permanent Link: http://hdl.handle.net/11104/0276554
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]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR GA15-15511S
Institutional support: RVO:67985807
Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
https://www.ijcai.org/proceedings/2017/0721.pdf
Permanent Link: http://hdl.handle.net/11104/0276554