VOLT

swMATH19194MaRDI QIDQ31024FDOQ31024

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-24318-4_22

Cited In (5)

• Alchemy
• Datafun
• Tuffy
• RockIt
• Volt: a lazy grounding framework for solving very large MaxSAT instances

This page was built for software: VOLT