Intermediate problems in modular circuits satisfiability

DOI10.1145/3373718.3394780OpenAlexW3032707609MaRDI QIDQ5145664

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

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.08626

zbMATH Keywords

constraint satisfaction problemsolving equationscircuit satisfiabilityintermediate problems

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (6)

Satisfiability in MultiValued Circuits ⋮ Solving a fixed number of equations over finite groups ⋮ Algebras from congruences ⋮ Unnamed Item ⋮ Even Faster Algorithms for CSAT Over supernilpotent Algebras. ⋮ Constraint Satisfaction Problems with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations

This page was built for publication: Intermediate problems in modular circuits satisfiability