Finding hardness reductions automatically using SAT solvers
From MaRDI portal
Publication:6521098
arXiv2402.06397MaRDI QIDQ6521098
Author name not available (Why is that?)
Has companion code repository: https://github.com/manfredscheucher/supplemental-completion-problems
This page was built for publication: Finding hardness reductions automatically using SAT solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6521098)
