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łEven faster algorithms for CSATOver supernilpotent algebras AutorzyKawałek Piotr , Krzaczkowski Jacek . Źródło45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). - Schloss Dagstuhl : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2020. - p. 55:1-55:13Słowa kluczowe
circuit satisfiability, olving equations, supernilpotent algebras, satisfiability in groups
Typartykuł (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
TytułSatisfiability problems for finite groups AutorzyIdziak Paweł , Kawałek Piotr , Krzaczkowski Jacek , Weiß Armin. Źródło49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Vol. 229 / ed. Bojańczyk Mikołaj, Merelli Emanuela, Woodruff David P.. - Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. - p. 127:1-127:20Słowa kluczowe
satisifiability, solvable groups, ProgramSat, PolSat, exponential Time Hypothesis
Typartykuł (rozdział) w książce | publikacja pokonferencyjna
TytułSatisfiability of circuits and equations over finite Malcev algebras AutorzyIdziak Paweł , Kawałek Piotr , Krzaczkowski Jacek . Źródło39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France. Vol. 219 / ed. Berenbrink Petra, Monmege Benjamin. - Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. - p. 37:1-37:14Słowa kluczowe
circuit satisfiability, solving equations, exponential Time Hypothesis
Typartykuł (rozdział) w książce | publikacja pokonferencyjna