conftrace_

presburger arithmetic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

cardinality logic (1) election manipulation (1) multi-party campaigning (1) set size logic (1) set theory (1) set cardinality (1) proof system (1) strategic voting (1) fixed-parameter tractability (1) social choice (1)

Papers

Multi-Party Campaigning AAAI 2021 Logics for Sizes with Union or Intersection AAAI 2020