Equation satisfiability in solvable groups

DOI10.1007/S00224-022-10082-ZzbMATH Open1548.20079MaRDI QIDQ6614610

Paweł M. Idziak, Armin Weiß, Jacek Krzaczkowski, Piotr Kawałek

Publication date: 7 October 2024

Published in: Theory of Computing Systems (Search for Journal in Brave)

zbMATH Keywords

solvable groupexponential time hypothesisequations in groupsFitting length

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Solvable groups, supersolvable groups (20F16) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70) Computational methods for problems pertaining to group theory (20-08)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
• Engelsche Elemente Noetherscher Gruppen
• Which problems have strongly exponential complexity?
• The complexity of the equation solvability problem over nilpotent groups
• The complexity of solving equations over finite groups
• Notes on extended equation solvability and identity checking for groups
• The complexity of the equivalence and equation solvability problems over meta-abelian groups
• Results on the equivalence problem for finite groups.
• THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS
• Theories of HNN-Extensions and Amalgamated Products
• The complexity of the equation solvability and equivalence problems over finite groups
• Diophantine problems in solvable groups
• Even Faster Algorithms for CSAT Over supernilpotent Algebras.
• Satisfiability in multi-valued circuits
• Intermediate problems in modular circuits satisfiability
• The complexity of the equivalence problem for nonsolvable groups
• Parameterized Algorithms
• Endliche Gruppen I

This page was built for publication: Equation satisfiability in solvable groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614610)