Alphabetic coding with exponential costs
- 作者Michael B. Baer
- 卷第110卷
- 期第4期
- 印刷ISSN0020-0190
- 文件大小139.90KB
- 发表时间2010
- DOI10.1016/j.ipl.2009.11.008
- 页码139-142
Bacterial Mitotic MachineriesKenn Gerdes; Jakob Møller-Jensen; Gitte Ebersbach; Thomas Kruse; Kurt Nordström · 2004
Erratum toEriksson, Hannah; Nordström, Jakob; Gabrysch, Katja; Hailer, Nils P.; Lazarinis, Stergios · Clinical Orthopaedics and Related Research · 2018
Proof Complexity and BeyondAtserias, Albert; Nordström, Jakob; Pitassi, Toniann; Razborov, Alexander · Oberwolfach Reports · 2018
Narrow Proofs May Be Maximally LongAtserias, Albert; Lauria, Massimo; Nordström, Jakob · ACM Transactions on Computational Logic · 2016
Space Complexity in Polynomial CalculusFilmus, Yuval; Lauria, Massimo; Nordström, Jakob; Ron-Zewi, Noga; Thapen, Neil · SIAM Journal on Computing · 2015
On the Relative Strength of Pebbling and ResolutionNordström, Jakob · ACM Transactions on Computational Logic · 2012
A new reward model for MDP state aggregation with application to CAC and RoutingErnst Nordström; Jakob Carlström · 2005
From Small Space to Small Width in ResolutionFilmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc · ACM Transactions on Computational Logic · 2015