Výsledky vyhledávání

0534109 - ÚI 2021 CH eng C - Konferenční příspěvek (zahraniční konf.)
Barnett, L.A. - Cerna, David M. - Biere, A.
Covered Clauses Are Not Propagation Redundant.
Automated Reasoning. Part I. Cham: Springer, 2020 - (Peltier, N.; Sofronie-Stokkermans, V.), s. 32-47. Lecture Notes in Computer Science, 12166. ISBN 978-3-030-51073-2. ISSN 0302-9743.
[IJCAR 2020. International Joint Conference /10./. Paris (FR), 01.07.2020-04.07.2020]
Trvalý link: http://hdl.handle.net/11104/0312348