Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking.

Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

Browse the full AAAI paper archive.