Poster: Neural Network-Based SAT Solver Selection Using Instance Features

Takeru Nagahama Tomohisa Kawakami Tomoyasu Shimada Xiangbo Kong Hiroyuki Tomiyama Shigeru Yamashita

DOI Semantic Scholar