Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras., , and . MFCS, volume 117 of LIPIcs, page 17:1-17:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Circuit Equivalence in 2-Nilpotent Algebras., , and . STACS, volume 289 of LIPIcs, page 45:1-45:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Circuit equivalence in 2-nilpotent algebras., , and . CoRR, (2019)Complexity of Modular Circuits., , and . CoRR, (2021)Equation satisfiability in solvable groups., , , and . CoRR, (2020)Complexity of Modular Circuits., , and . LICS, page 32:1-32:11. ACM, (2022)Intermediate problems in modular circuits satisfiability., , and . LICS, page 578-590. ACM, (2020)Satisfiability of Circuits and Equations over Finite Malcev Algebras., , and . STACS, volume 219 of LIPIcs, page 37:1-37:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Even Faster Algorithms for CSAT Over supernilpotent Algebras., and . MFCS, volume 170 of LIPIcs, page 55:1-55:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Satisfiability Problems for Finite Groups., , , and . ICALP, volume 229 of LIPIcs, page 127:1-127:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)