Democratix

MaRDI QIDQ39352swMATHFDO

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