Satisfiability problems for finite groups

DOI10.4230/LIPICS.ICALP.2022.127MaRDI QIDQ6560929FDOQ6560929

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

Publication date: 24 June 2024

zbMATH Keywords

solvable groupsexponential time hypothesisPolSatprogramsatsatisifiability

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cited In (1)

• Constrained inhomogeneous spherical equations: average-case hardness

This page was built for publication: Satisfiability problems for finite groups

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