An Efficient Depth-First Search Algorithm Based on SAT Solving Techniques for Hypergraph Dualization. Takanori Hayashi, Takuya Akiba, Yoichi Iwata.
WAAC'14.
Achivements
Awards
優秀論文賞: DEIM 2015
Student travel award: SIGMOD 2014
Contests
SIGMOD 2016 Programming Contest: 1st place (team: H_minor_free)
ACM-ICPC Asia Regional Contest, Taipei, 2015: 1st place (team: negainoido)
ACM-ICPC Asia Regional Contest, Tsukuba, 2015: 7th place (team: negainoido)
SIGMOD 2014 Programming Contest: 3rd place (team: H_minor_free)