Satisfiability of circuits and equations over finite malcev algebras

DOI10.4230/LIPICS.STACS.2022.37MaRDI QIDQ6490983FDOQ6490983

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

Publication date: 23 April 2024

zbMATH Keywords

exponential time hypothesissolving equationscircuit satisfiability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Satisfiability of circuits and equations over finite malcev algebras

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