4 citations · 6 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Towards a Certifying Grounder
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1
Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…
cs.GT2026
Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the s…