VOLT

MaRDI QIDQ31024swMATHFDO

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