Improving Strategies via SMT Solving.

Thomas Martin Gawlitza, David Monniaux

Browse the full ESOP paper archive.