W dniach od 2 kwietnia do 5 kwietnia 2024 r. prowadzone będą prace związane z wdrożeniem nowej wersji systemu Repozytorium UJ. Nie będzie możliwe wprowadzanie nowych informacji do repozytorium. Za utrudnienia przepraszamy.
TytułA note on two-colorability of nonuniform hypergraphs AutorzyDuraj Lech , Gutowski Grzegorz , Kozik Jakub . Źródło45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018Słowa kluczowe
property B, nonuniform hypergraphs, hypergraph coloring, random greedy coloring
Typartykuł (rozdział) w książce | publikacja pokonferencyjna
TytułCounting environments and closures AutorzyBendkowski Maciej , Lescanne Pierre. Źródło3rd International Conference on Formal Structures for Computation and Deduction : FSCD 2018, July 9-12, 2018, Oxford, United Kingdom. Vol. 108 / ed. Kirchner Hélène. - Saarbrücken, Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018Typartykuł (rozdział) w książce | publikacja pokonferencyjna
TytułExpressive power, satisfiability and equivalence of circuits over nilpotent algebras AutorzyIdziak Paweł , Kawałek Piotr , Krzaczkowski Jacek . Źródło43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018). Vol. 117 / ed. Potapov Igor, Spirakis Paul, Worrell James. - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018Słowa kluczowe
circuit satisfiability, Constraint Satisfaction Problem, solving equations, structure theory
Typartykuł (rozdział) w książce | publikacja pokonferencyjna