SAT-based circuit local improvement

DOI10.4230/LIPICS.MFCS.2022.67MaRDI QIDQ6584071FDOQ6584071

Authors: Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin 

Publication date: 6 August 2024

zbMATH Keywords

algorithmsheuristicscomplexity theorySATSAT solverscircuits

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (1)

• SAT-boosted tabu search for coloring massive graphs

This page was built for publication: SAT-based circuit local improvement

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