Search results

  1. 1.
    0536431 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
    Kučera, P. - Savický, Petr
    Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.
    Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, 2021, s. 3832-3840. ISBN 978-1-57735-866-4.
    [AAAI 2021. Conference on Artificial Intelligence /35./. Vancouver / Online (CA), 02.02.2021-09.02.2021]
    R&D Projects: GA ČR(CZ) GA19-19463S
    Institutional support: RVO:67985807
    Keywords : Satisfiability * Knowledge Representation Languages
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://ojs.aaai.org/index.php/AAAI/article/view/16501
    Permanent Link: http://hdl.handle.net/11104/0314209
    FileDownloadSizeCommentaryVersionAccess
    aaai2021.JPG0106.2 KBOtherrequire
    0536431-aoa.pdf4149.9 KBPublisher’s postprintrequire
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.