//-->
A simulated annealing algorithm with the random compound move for the sequential partitioning problem of directed acyclic graphs
Kaji, Taichi, (1999)
Evaluation of Present Strategies in Multiagent Product Market Model with Network Externality
Kawamura, Hidenori, (2005)
A reduction method for theorem proving based on the partial-instantiation technique
Yamamoto, Masahito, (1998)