SAT-based circuit local improvement

DOI10.4230/LIPICS.MFCS.2022.67MaRDI QIDQ6584071zbMATH OpenFDO

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)