SRIP: A SAT-based System for Independent Set Reconfiguration.

Takehide Soh, Akifumi Kuwahara, Mutsunori Banbara, Naoyuki Tamura, Yasuaki Kobayashi, Yuta Nozaki, Takehiro Ito

Browse the full KR paper archive.