Riss

swMATH46012MaRDI QIDQ5975134FDOQ5975134

Author name not available (Why is that?)

Source code repository: https://github.com/nmanthey/riss-solver

Cited In (3)

• Verifying binarized neural networks by Angluin-style learning
• Generating SAT instances with community structure
• Modeling and solving staff scheduling with partial weighted maxSAT

This page was built for software: Riss