Satisfiability problems for finite groups

DOI10.4230/LIPICS.ICALP.2022.127MaRDI QIDQ6560929zbMATH OpenFDO

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)