//-->
A simulated annealing algorithm with the random compound move for the sequential partitioning problem of directed acyclicgraphs
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)