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

Unno, HiroshiHiroshiUnnoTsukada, TakeshiTakeshiTsukadaJIE-HONG JIANG2025-06-162025-06-162025-04-1121595399https://www.scopus.com/record/display.uri?eid=2-s2.0-105003960275&origin=resultslisthttps://scholars.lib.ntu.edu.tw/handle/123456789/730024enfalseSolving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checkingconference paper10.1609/aaai.v39i11.332372-s2.0-105003960275