Solving advanced reasoning tasks using quantified Boolean formulas
収録刊行物
-
- Proc. 17th Nat'l Conf. on Artificial Intelligence (AAAI-2000)
-
Proc. 17th Nat'l Conf. on Artificial Intelligence (AAAI-2000) 417-422, 2000
AAAI Press