PReLearn

swMATH44295MaRDI QIDQ1349642FDOQ1349642

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-031-10769-6_8

Source code repository: https://github.com/jreeves3/PReLearn

Described by source

• Preprocessing of propagation redundant clauses

Cited In (2)

• sQueezeBF
• SaDiCaL

This page was built for software: PReLearn