Login / Signup
A counterexample to a conjecture of Schwartz.
Felix Brandt
Maria Chudnovsky
Ilhee Kim
Gaku Liu
Sergey Norin
Alex Scott
Paul D. Seymour
Stéphan Thomassé
Published in:
Soc. Choice Welf. (2013)
Keyphrases
</>
model checking
formal verification
cost function
state space
multi class