Solving QNP and FOND+ with Generating, Testing and Forbidding.

Zheyuan Shi, Hao Dong, Yongmei Liu

Browse the full IJCAI paper archive.