PolySAT: A Fast Cache-SAT Implementation for Solving Boolean Problems with Parameterized ComplexityLuca Müller; Marten Gollücke; Rolf DrechslerIn: IEEE Embedded Systems Letters (ESL), Pages 1-1, IEEE, 2026.
