bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games L. Daviaud M. Jurdzinski R. Lazic [github]
Mean-payoff parity games K. Chatterjee T.A. Henzinger M. Jurdzinski [github]
How much memory is needed to win infinite games S. Dziembowski M. Jurdzinski I. Walukiewicz [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]