QUBE : A system for deciding quantified Boolean formulas satisfiability
収録刊行物
-
- Proc. 1st Int. Joint Conf. on Automated Reasoning (IJCAR-2001)
-
Proc. 1st Int. Joint Conf. on Automated Reasoning (IJCAR-2001) 364-369, 2001