Riss

MaRDI QIDQ5975134swMATHFDO

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

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

Cited in

(6)

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

This page was built for software: Riss