Riss
From MaRDI portal
Software:5975134
No author found.
Source code repository: https://github.com/nmanthey/riss-solver
Related Items (3)
Generating SAT instances with community structure ⋮ Verifying binarized neural networks by Angluin-style learning ⋮ Modeling and solving staff scheduling with partial weighted maxSAT
This page was built for software: Riss
