Riss

swMATH46012MaRDI QIDQ5975134FDOQ5975134

Author name not available (Why is that?)

Official website: https://iccl.inf.tu-dresden.de/web/Riss/en

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

Cited In (6)

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

This page was built for software: Riss