69 citations · 71 across the 2 of their papers we have counts for
1 paper · 1 filter
Christian Geist, Ulle Endriss
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of…