Democratix

swMATH27637MaRDI QIDQ39352FDOQ39352

Author name not available (Why is that?)

Official website: http://democratix.dbai.tuwien.ac.at/information.php

Described by source

• Democratix: a declarative approach to winner determination

Cited In (3)

• Block structured scheduling using constraint logic programming
• Answer set programming
• Verified construction of fair voting rules

This page was built for software: Democratix