121 | -- | 159 | Venkatesh Choppella, Christopher T. Haynes. Source-tracking unification |
160 | -- | 177 | Matthias Krause, Petr Savický, Ingo Wegener. On the influence of the variable ordering for algorithmic learning using OBDDs |
178 | -- | 198 | Atsuyoshi Nakamura. An efficient query learning algorithm for ordered binary decision diagrams |
199 | -- | 215 | Shigeki Akiyama, Frédérique Bassino, Christiane Frougny. Arithmetic Meyer sets and finite automata |
216 | -- | 231 | Jianer Chen, Benny Chor, Mike Fellows, Xiuzhen Huang, David W. Juedes, Iyad A. Kanj, Ge Xia. Tight lower bounds for certain parameterized NP-hard problems |