Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search.

Satomi Baba, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo

Browse the full IJCAI paper archive.