Finding hardness reductions automatically using SAT solvers

From MaRDI portal
(Redirected from Publication:6521098)

MaRDI QIDQ6521098arXivFDO

Authors Helena Bergold, Manfred Scheucher, Felix Schröder

Published in arXiv

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Finding_hardness_reductions_automatically_using_SAT_solvers&oldid=103480850"
Powered by MediaWiki