Peter J. Stuckey

Improved margin computation for STV elections could make risk-limiting audits both more effective and feasible, enhancing electoral integrity.

Treating difference constraints globally can lead to substantial efficiency gains in constraint satisfaction, outperforming traditional methods by a significant margin.

Trust in tree ensembles hinges on rigorous explanations, and this paper delivers a method to generate them.